StarExec in Containers

Abstract

StarExec has been central to much progress in logic solvers over the last 10 years. StarExec Iowa has been decommissioned, and the smaller StarExec Miami is not able to support all the logic solver communities that used StarExec Iowa. In the long term StarExec will necessarily have to migrate to new compute environments. This talk describes work being done to reengineer StarExec using container technology. Supported by an Amazon Research Award, new versions of StarExec can be deployed on your computer, on AWS, and on your own cluster.