smt-lib
There are 25 repositories under smt-lib topic.
testsmt/yinyang
A fuzzing framework for SMT solvers
Gbury/dolmen
Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
touist/touist
TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)
elsoroka/Satisfiability.jl
Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.
formalsec/smtml
A frontend for multiple SMT solvers in OCaml
uuverifiers/princess
The Princess Theorem Prover
acorrenson/modulus
A constraint solver built from scratch in OCaml
florianschanda/smtlib_schanda
SMTLIB benchmarks assembled by Florian Schanda
CLC-UIowa/SySLite
SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite Traces
edoput/guile-smt
output SMT syntax from Guile
patrick96/SMTransform
Find soundness bugs in SMT solvers through equivalent transformations
symflower/smtfmt
An SMT-LIB formatter.
florianschanda/PyMPF
Arbitrary precision IEEE-754 implementation in Python for generating SMTLIB float benchmarks
Valendrew/vlsi-design
Combinatorial and Decision Making Optimization (CDMO) project during the A.Y. 2021/2022.
nicdard/fusion-function-generator
A generator for Semantic Fusion
aztek/tptp2smt
A translator from TPTP to SMT-LIB
haskell-github-trust/smt2-parser
Parse smt2 in Haskell
pascalpoizat/smt-api
simple java API for interaction with SMT solvers using SMT-LIB
sgomber/regex-to-smtlib
A tool to translate regular expressions to smt-lib constraints
epfl-lara/scala-smtlib
Scala library for parsing and printing the SMT-LIB format
florianschanda/fp_test_generator
Random floating-point testcase generator for SMT-LIB
SMT-LIB/benchmark-submission-2022
Former repository for the submission of SMT-LIB benchmarks for the 2022 release
soaibsafi/smt-z3-vscode
VSCode extension for SMT2 language with Z3 solver
zhanghongce/smtlib2parser
SMT-LIB v2 Parser
teimichael/SMTGenerator
Writing SMT-LIB Standard programs with Haskell.