Skip to content

Proofbox : 2022 A tool to serve smt solvers (and some other formal verification tools) jobs

Notifications You must be signed in to change notification settings

EliasGit2017/ProofBox

Repository files navigation

ProofBox : Docker-compose platform providing SMT solvers services

picture

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

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

No packages published