Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for smtlib
smtlib
x
19 search results found
Jfs
⭐
236
Constraint solver based on coverage-guided fuzzing
Yinyang
⭐
148
A fuzzing framework for SMT solvers
Dolmen
⭐
75
Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
Touist
⭐
56
TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)
Scala Smtlib
⭐
43
Scala library for parsing and printing the SMT-LIB format
Vim Smt2
⭐
36
A Vim plugin that adds support for the SMT-LIB2 format (including Z3's extensions)
Benchpress
⭐
25
Testing and benchmarking tool for logic-related programs.
Z3 Mode
⭐
18
An interactive development environment for SMT-LIB files and Z3
Princess
⭐
17
The Princess Theorem Prover
Satisfiability.jl
⭐
15
Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.
Libsmt.rs
⭐
14
Rust Bindings to interact with SMTLIB2 compliant solvers
Smtlib Rs
⭐
13
A high-level API for interacting with SMT solvers.
Sexpr
⭐
11
An encoding, decoding & utility library for S-expressions in Rust
Modulus
⭐
10
A constraint solver built from scratch in OCaml
Mcsatan
⭐
8
A diabolic implementation of mcSAT 😈
Smtlib Utils
⭐
5
A parser and some utils for SMTLIB. For a fully compliant parser, see https://github.com/Gbury/dolmen/.
Ringen
⭐
5
Regular Invariant Generator and SMTLIB2 code transformer
Prolog Smtlib
⭐
5
An SMT-LIB parser in Prolog
Encoding
⭐
5
An OCaml SMT abstraction layer for constraint solvers.
Related Searches
Smt Smtlib (17)
Z3 Smtlib (7)
Python Smtlib (6)
Ocaml Smtlib (5)
Smt Solver Smtlib (5)
Sat Solver Smtlib (4)
Sat Smtlib (4)
Rust Smtlib (3)
Fuzzing Smtlib (3)
1-19 of 19 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.