StarExec Miami
- 1 follower
- United States of America
- https://starexec.ccs.miami.edu
- geoff@cs.miami.edu
Popular repositories Loading
-
StarExec-ARC
StarExec-ARC PublicStarExec-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 …
-
StarExec
StarExec PublicForked from StarExec/StarExec
StarExec is a cross community logic solving service
-
Repositories
- StarExec-ARC Public
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.
StarExecMiami/StarExec-ARC’s past year of commit activity - ResourceLimitedRun Public
StarExecMiami/ResourceLimitedRun’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…