DIMCAS CNF parser and writer for the Varisat SAT solver
[email protected] low health (56/100) — consider alternatives
Get this data programmatically — free, no authentication.
curl https://depscope.dev/api/check/cargo/varisat-dimacsFirst published · 2019-05-18T08:10:05.273036Z
Last updated · 2020-09-09T17:08:15.287089Z