Proofbox : 2022 A tool to serve smt solvers (and some other formal verification tools) jobs
-
Updated
Oct 18, 2022 - OCaml
Proofbox : 2022 A tool to serve smt solvers (and some other formal verification tools) jobs
DSL: automatic derivation of greedy algorithm and dynamic programming
solving-satisfaction-problems-with-theorem-provers
A sudoku solver web service utilizing SMT/ILP solver Inez
Solving the VLSI problem using various combinatorial optimization technologies
My attempt at understanding the Z3 API for .NET (F#)
The final project in the course "Automated reasoning about software" 67532 (The Hebrew University of Jerusalem).
SAT/UNSAT. The course "Boolean satisfiability problems and their applications" by Roman Kholin at CMC MSU. 🍁 Autumn 2021.
v-research website
Tries to remove tuples from smtlib2 instances by flattening them.
my development tool, environment and shell configurations packaged in Nix
small demo with respect of static program verification based on llvm, BMC, MathSAT solver.
Learner-Verifier Framework for formal synthesis of Control Barrier Functions (CBF).
A scala library to interface with SMT-solver using the SMT-LIB standard (v2.0)
A Golang wrapper for the Z3 SMT solver
Add a description, image, and links to the smt-solver topic page so that developers can more easily learn about it.
To associate your repository with the smt-solver topic, visit your repo's landing page and select "manage topics."