transfer boolean expression to dimacs directly
[email protected] low health (51/100) — consider alternatives
Get this data programmatically — free, no authentication.
curl https://depscope.dev/api/check/cargo/bool2cnfFirst published · 2022-12-13T18:04:26.676823Z
Last updated · 2023-04-06T15:40:53.815081Z