Topic · sat-solver

sat-solver

Tracked open-source repos tagged sat-solver, sorted by stars.

Repos

3

Total stars

2,224

Avg. stars

741

Share

0.00%

Topics that frequently appear alongside sat-solver on the same repo.

Recent risers

Repos created in the last 90 days, tagged sat-solver.

No new repos tagged with this topic in the last 90 days.

#1
cryptominisat ↗@msoosC++
An advanced SAT solver
★ 940+0Star change over the last 7 days
#2
CreuSAT ↗@sarskoRust
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
★ 698+1Star change over the last 7 days
#3
stp ↗@stpC++
Simple Theorem Prover, an efficient SMT solver for bitvectors, floating-point and arrays.
★ 588+1Star change over the last 7 days

← Back to topics