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
EliasGit2017/ProofBox
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
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