Projects in Awesome Lists tagged with smt-lib
A curated list of projects in awesome lists tagged with smt-lib .
https://github.com/gbury/dolmen
Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
atp flexible-parsers functor language model ocaml ocaml-library parse smt-lib theorem-proving tptp typechecker
Last synced: 06 Apr 2025
https://github.com/formalsec/smtml
An SMT solver frontend for OCaml
alt-ergo bitwuzla colibri2 cvc5 ocaml smt smt-lib symbolic-execution webassembly z3
Last synced: 11 Apr 2025
https://github.com/acorrenson/modulus
A constraint solver built from scratch in OCaml
hacktoberfest logic logic-programming sat sat-solver smt smt-lib smt-solver solver solvers theories
Last synced: 20 Nov 2024
https://github.com/florianschanda/smtlib_schanda
SMTLIB benchmarks assembled by Florian Schanda
Last synced: 30 Mar 2025
https://github.com/patrick96/smtransform
Find soundness bugs in SMT solvers through equivalent transformations
Last synced: 13 Apr 2025
https://github.com/valendrew/vlsi-design
Combinatorial and Decision Making Optimization (CDMO) project during the A.Y. 2021/2022.
combinatorial-optimization constraint-programming cplex linear-programming mixed-integer-programming smt-lib vlsi-design
Last synced: 22 Nov 2024
https://github.com/florianschanda/pympf
Arbitrary precision IEEE-754 implementation in Python for generating SMTLIB float benchmarks
Last synced: 12 Mar 2025
https://github.com/soaibsafi/smt-z3-vscode
VSCode extension for SMT2 language with Z3 solver
smt smt-lib vscode-extension z3
Last synced: 07 Apr 2025
https://github.com/florianschanda/fp_test_generator
Random floating-point testcase generator for SMT-LIB
floating-point ieee-754 smt-lib
Last synced: 30 Mar 2025
