GitHub topics: smt-lib
formalsec/smtml
An SMT solver frontend for OCaml
Language: OCaml - Size: 2.64 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 34 - Forks: 9
testsmt/yinyang
A fuzzing framework for SMT solvers
Language: Python - Size: 3.03 MB - Last synced at: 1 day ago - Pushed at: almost 2 years ago - Stars: 188 - Forks: 23
Gbury/dolmen
Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
Language: OCaml - Size: 10.8 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 85 - Forks: 18
elsoroka/Satisfiability.jl
Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.
Language: Julia - Size: 1.44 MB - Last synced at: 6 days ago - Pushed at: 19 days ago - Stars: 38 - Forks: 6
acorrenson/modulus
A constraint solver built from scratch in OCaml
Language: OCaml - Size: 451 KB - Last synced at: 23 days ago - Pushed at: over 3 years ago - Stars: 11 - Forks: 2
uuverifiers/princess
The Princess Theorem Prover
Language: Scala - Size: 51.9 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 26 - Forks: 7
soaibsafi/smt-z3-vscode
VSCode extension for SMT2 language with Z3 solver
Language: TypeScript - Size: 515 KB - Last synced at: 20 days ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0
epfl-lara/scala-smtlib Fork of regb/scala-smtlib
Scala library for parsing and printing the SMT-LIB format
Language: SMT - Size: 1010 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 2
florianschanda/smtlib_schanda
SMTLIB benchmarks assembled by Florian Schanda
Size: 782 MB - Last synced at: 28 days ago - Pushed at: about 5 years ago - Stars: 8 - Forks: 1
touist/touist
TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)
Language: OCaml - Size: 12 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 65 - Forks: 12
teimichael/SMTGenerator
Writing SMT-LIB Standard programs with Haskell.
Language: Haskell - Size: 15.6 KB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
patrick96/SMTransform
Find soundness bugs in SMT solvers through equivalent transformations
Language: Rust - Size: 314 KB - Last synced at: 14 days ago - Pushed at: almost 3 years ago - Stars: 6 - Forks: 0
Valendrew/vlsi-design
Combinatorial and Decision Making Optimization (CDMO) project during the A.Y. 2021/2022.
Language: Python - Size: 6.05 MB - Last synced at: 21 days ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 2
haskell-github-trust/smt2-parser
Parse smt2 in Haskell
Language: Haskell - Size: 78.1 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 1
pascalpoizat/smt-api
simple java API for interaction with SMT solvers using SMT-LIB
Language: Java - Size: 33.2 KB - Last synced at: 3 days ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 0
sgomber/regex-to-smtlib
A tool to translate regular expressions to smt-lib constraints
Language: Python - Size: 20.5 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
symflower/smtfmt
An SMT-LIB formatter.
Language: Python - Size: 20.5 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 7 - Forks: 1
SMT-LIB/benchmark-submission-2022
Former repository for the submission of SMT-LIB benchmarks for the 2022 release
Language: SMT - Size: 190 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 9
nicdard/fusion-function-generator
A generator for Semantic Fusion
Language: Python - Size: 1.28 MB - Last synced at: 29 days ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 0
florianschanda/PyMPF
Arbitrary precision IEEE-754 implementation in Python for generating SMTLIB float benchmarks
Language: Python - Size: 327 KB - Last synced at: 4 months ago - Pushed at: almost 5 years ago - Stars: 4 - Forks: 1
edoput/guile-smt
output SMT syntax from Guile
Language: Scheme - Size: 23.4 KB - Last synced at: about 1 year ago - Pushed at: about 6 years ago - Stars: 6 - Forks: 0
CLC-UIowa/SySLite
SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite Traces
Language: Python - Size: 26.2 MB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 4 - Forks: 3
aztek/tptp2smt
A translator from TPTP to SMT-LIB
Language: Haskell - Size: 17.6 KB - Last synced at: about 1 month ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0
zhanghongce/smtlib2parser
SMT-LIB v2 Parser
Language: C - Size: 104 KB - Last synced at: 7 days ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0
florianschanda/fp_test_generator
Random floating-point testcase generator for SMT-LIB
Language: Python - Size: 104 KB - Last synced at: 28 days ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 1