Boolean satisfiability (SAT) library with efficient encoding of complex constraints and solver interaction
[email protected] low health (59/100) — consider alternatives
Get this data programmatically — free, no authentication.
curl https://depscope.dev/api/check/pypi/pindakaasLast updated · 2026-04-17T07:32:49.542573Z