A modular sat/smt solver with proof output.
-
Updated
Jan 8, 2024 - OCaml
#
smt-solver
Here are 9 public repositories matching this topic...
A prototype of Concolic Testing engine for SystemVerilog, developed as part of PFN summer internship 2018.
-
Updated
Dec 21, 2018 - OCaml
An ocaml implementation of conflict-driven reasoning
-
Updated
Jul 13, 2018 - OCaml
The Cubicle model checker
-
Updated
Mar 11, 2024 - OCaml
A constraint solver built from scratch in OCaml
-
Updated
Dec 10, 2021 - OCaml
Toy SMT solver, for deciding SAT with equality theroy. Written for the Sémantique et applications à la vérification course at ENS ( https://www.di.ens.fr/~rival/semverif-2016/ )
-
Updated
Nov 7, 2018 - OCaml
Proofbox : 2022 A tool to serve smt solvers (and some other formal verification tools) jobs
-
Updated
Oct 18, 2022 - OCaml
A sudoku solver web service utilizing SMT/ILP solver Inez
java
docker
dockerfile
json
maven
reactjs
docker-image
ocaml
web-application
http-server
formal-methods
smt-solver
nanohttpd
ilp-solver
-
Updated
Nov 5, 2022 - OCaml
Improve this page
Add a description, image, and links to the smt-solver topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the smt-solver topic, visit your repo's landing page and select "manage topics."