smtlib topic
List
smtlib repositories
tool_lists
360
Stars
82
Forks
Watchers
Links to tools by subject
jfs
240
Stars
20
Forks
Watchers
Constraint solver based on coverage-guided fuzzing
vim-smt2
36
Stars
4
Forks
Watchers
A Vim plugin that adds support for the SMT-LIB2 format (including Z3's extensions)
benchpress
26
Stars
7
Forks
Watchers
Testing and benchmarking tool for logic-related programs.
sexpr
25
Stars
3
Forks
Watchers
An encoding, decoding & utility library for S-expressions in Rust
z3-mode
22
Stars
7
Forks
Watchers
An interactive development environment for SMT-LIB files and Z3
scala-smtlib
43
Stars
23
Forks
Watchers
Scala library for parsing and printing the SMT-LIB format
libsmt.rs
16
Stars
12
Forks
Watchers
Rust Bindings to interact with SMTLIB2 compliant solvers