StarExec-ARC is a framework for containerizing Automated Theorem Proving (ATP) systems. It simplifies the deployment and scaling of ATPs using Podman and Kubernetes, enabling researchers to easily benchmark solvers in a modern, containerized StarExec environment.
docker terraform helm logic formal-methods atp containerization automated-reasoning podman microk8s automated-theorem-proving starexec
-
Updated
Oct 14, 2025 - Python