StarExec: Starexec is a cross community logic solving service under development at the University of Iowa under the direction of principal investigators Aaron Stump (Iowa), Geoff Sutcliffe (University of Miami), and Cesare Tinelli (Iowa). Our goal is to provide a shared logic solving infrastructure to researchers to manage benchmark libraries, community membership, and provide solver execution on a large cluster and facilitate translation between logics.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element