← Explore by area

Cluster 633635

3 repos

Haskell · 1

OCaml · 1

SMT · 1

smt-solver ·739

sat-solver ·739

theorem-prover ·633

satisfiability-modulo-theories ·474

satisfiability ·474

algorithms ·159

mathematical-programming ·159

ocaml ·106

modular ·106

formula ·106

Related clusters

Cluster 63358737 Cluster 6336363 Cluster 6365913 Programming Language Design & RFCs10 Cluster 6369925 Coq/Rocq Proof Formalization & Type Theory38

msakai/toysolver

My sandbox for experimenting with solver algorithms.

Haskell

159

3,394 commits

SRI-CSL/yices2

SRI Yices SMT Solver

SMT

474

4,976 commits

Gbury/mSAT

A modular sat/smt solver with proof output.

OCaml

106

741 commits