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
Proofbox : 2022 A tool to serve smt solvers (and some other formal verification tools) jobs
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
Proofbox : 2022 A tool to serve smt solvers (and some other formal verification tools) jobs