https://github.com/johnyf/tool_lists

Links to tools by subject

binary-decision-diagrams formal-methods model-checking proof-assistant satisfiability-modulo-theories satisfiability-solver smtlib static-analysis synthesis theorem-prover theorem-proving tools verification

Last synced: 31 Jan 2026

https://github.com/mc-imperial/jfs

Constraint solver based on coverage-guided fuzzing

constraint-solver coverage-guided-fuzzing floating-point-arithmetic fuzzing jit libfuzzer llvm smtlib smtlibv2 z3

Last synced: 21 Apr 2025

https://github.com/regb/scala-smtlib

Scala library for parsing and printing the SMT-LIB format

scala scala-library smtlib smtlibv2

Last synced: 12 Apr 2025

https://github.com/oeb25/smtlib-rs

A high-level API for interacting with SMT solvers.

rust smt smtlib

Last synced: 11 Apr 2025

https://github.com/sushant94/libsmt.rs

Rust Bindings to interact with SMTLIB2 compliant solvers

rust-bindings smtlib solver

Last synced: 21 Jun 2025

https://github.com/bruderj15/hasmtlib

A monad for interfacing with external SMT solvers

smt smt-lib2 smt2 smtlib smtlib2

Last synced: 18 Feb 2026

https://github.com/c-cube/smtlib-utils

A parser and some utils for SMTLIB. For a fully compliant parser, see https://github.com/Gbury/dolmen/.

menhir ocaml parser smt2 smtlib

Last synced: 11 Jun 2025

https://github.com/calvin-l/sublime-smtlib

SMTLIB syntax highlighting for Sublime Text 3

smtlib sublime-text-3 syntax-highlighting

Last synced: 06 Jan 2026

https://github.com/florianschanda/pyvcg

Verification Condition Generator

formal-methods formal-verification smtlib

Last synced: 13 May 2025

https://github.com/artinmohajeri/email-sender-django-signals-smtplib

backend bootstrap5 contact-form django django-application django-framework email-sender html html5 python-django python3 smtlib ssl web website

Last synced: 08 May 2026

https://github.com/aztek/tptp2smt

A translator from TPTP to SMT-LIB

smt-lib smtlib tptp

Last synced: 27 Mar 2025

https://github.com/wadoon/smt2key

Translates SMT-lib files to KeY (Theorem Prover) inputs

key smtlib

Last synced: 27 May 2026

https://github.com/delcypher/smt2coral

constraint-solver floating-point smtlib

Last synced: 28 May 2026

https://github.com/timbeurskens/gobdd

An ROBDD & CDCL based SAT solver

bdd boolean-algebra cdcl cnf cnf-clauses sat sat-solver smtlib tseitin-transformation

Last synced: 23 Feb 2026