Towards StarExec in the Cloud

16 pages•Published: April 6, 2025

David Fuenmayor, Jack McKeown and Geoff Sutcliffe

Abstract

StarExec has been central to much progress in logic solvers over the last 10 years. It was recently announced that StarExec Iowa will be decommissioned, and while StarExec Miami will continue to operate while funding is available, it will not be able to support all the logic solver communities currently using the larger StarExec Iowa. In the long term StarExec will necessarily have to migrate to new compute environments. This paper describes work being done to reengineer StarExec as a cloud-native application using container technology and infrastructure-as-code practices. The first step has been to containerise StarExec and ATP systems so that they can be run on a broad range of computer platforms. The next step in process is to write a new backend in StarExec so that Kubernetes can be used to orchestrate distribution of StarExec job pairs over whatever compute nodes are available. Supported by an Amazon Research Award, a new version of StarExec will be deployed in AWS.

Keyphrases: amazon web services, containerization, starexec

In: Konstantin Korovin, Stephan Schulz and Michael Rawson (editors). Proceedings of the 14th and 15th International Workshops on the Implementation of Logics, vol 21, pages 45-60.

Links:	https://easychair.org/publications/paper/4c5S
	https://doi.org/10.29007/nsxs

BibTeX entry

@inproceedings{IWIL-2024:Towards_StarExec_Cloud,
  author    = {David Fuenmayor and Jack McKeown and Geoff Sutcliffe},
  title     = {Towards StarExec in the Cloud},
  booktitle = {Proceedings of the 14th and 15th International Workshops on the Implementation of Logics},
  editor    = {Konstantin Korovin and Stephan Schulz and Michael Rawson},
  series    = {Kalpa Publications in Computing},
  volume    = {21},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/4c5S},
  doi       = {10.29007/nsxs},
  pages     = {45-60},
  year      = {2025}}

Download PDF Open PDF in browser