ez_proofbox is a docker platform designed as a server intended to provide services for SMT solvers.
The current version is designed as a Starexec clone.
This work was done during my internship at Ocamlpro
-
Notifications
You must be signed in to change notification settings - Fork 1
EliasGit2017/ProofBox
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Proofbox : 2022 A tool to serve smt solvers (and some other formal verification tools) jobs
Topics
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published