msoos / cryptominisat

git clone https://github.com/msoos/cryptominisat.git

An advanced SAT solver

stars, 24h · #46,413

+~0

stars, 7 days · #46,487

+~0

stars, 30 days · #46,625

940

★ total

205

forks · 5 open issues

2026-10-20 · 941 ★ 2026-10-22 · 940 ★

LanguageC++

License—

Created2012-03-13 (14y ago)

Last push1d ago

OwnerUser