smt-solver topic

List smt-solver repositories

esbmc

288
Stars
92
Forks
Watchers

The efficient SMT-based context-bounded model checker (ESBMC)

verified publisher icon esbmc

schmitty

91
Stars
9
Forks
Watchers

Agda bindings to SMT-LIB2 compatible solvers.

verified publisher icon wenkokke

z3-rkt

24
Stars
4
Forks
Watchers

Racket bindings for Z3

verified publisher icon philnguyen

CEGIS

44
Stars
6
Forks
Watchers

Counter-example guided inductive synthesis (CEGIS) implementation for the SMT solver Z3 by Microsoft Research

verified publisher icon marcelwa

plt-formal-methods-resources

41
Stars
1
Forks
Watchers

Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and their application in some most active computer Science fields.

verified publisher icon SatyendraBanjare

Gymbo

34
Stars
0
Forks
34
Watchers

gradient-based symbolic execution engine implemented from scratch

verified publisher icon Koukyosyumei

intrepid

17
Stars
1
Forks
Watchers

Intrepyd Model Checker

verified publisher icon formalmethods

ostrich

30
Stars
9
Forks
Watchers

An SMT Solver for string constraints

verified publisher icon uuverifiers

key

39
Stars
22
Forks
Watchers

KeY Theorem Prover for Deductive Java Verification

verified publisher icon KeYProject

ksmt

29
Stars
12
Forks
Watchers

Kotlin/Java API for various SMT solvers

verified publisher icon UnitTestBot