arminbiere / cadical
git clone https://github.com/arminbiere/cadical.git
CaDiCaL SAT Solver
+0
stars, 24h · #44,133
+~7
stars, 7 days · #15,340
+~30
stars, 30 days · #18,996
624
★ total · +1% this week
192
forks · 49 open issues
Star history (as recorded here)
LanguageC++
LicenseMIT
Created2016-08-17 (10y ago)
Last push1d ago
OwnerUser