Ecosyste.ms: Awesome

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: 28 Nov 2024

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: 09 Nov 2024

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

Scala library for parsing and printing the SMT-LIB format

scala scala-library smtlib smtlibv2

Last synced: 15 Nov 2024

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

A high-level API for interacting with SMT solvers.

rust smt smtlib

Last synced: 07 Nov 2024

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

Rust Bindings to interact with SMTLIB2 compliant solvers

rust-bindings smtlib solver

Last synced: 15 Nov 2024

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: 12 Oct 2024

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

SMTLIB syntax highlighting for Sublime Text 3

smtlib sublime-text-3 syntax-highlighting

Last synced: 04 Dec 2024

https://github.com/florianschanda/pyvcg

Verification Condition Generator

formal-methods formal-verification smtlib

Last synced: 24 Oct 2024

https://github.com/aztek/tptp2smt

A translator from TPTP to SMT-LIB

smt-lib smtlib tptp

Last synced: 05 Dec 2024

https://github.com/cedws/smtlib-go

Go library for generating SMT-LIB problem S-expressions

go smtlib z3

Last synced: 28 Dec 2024

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: 02 Dec 2024