passagemath-kissat
JSON →Interface to the SAT solver Kissat, part of the passagemath ecosystem. Provides a Python wrapper for the Kissat SAT solver, which is a compact, clean, and efficient SAT solver. Current version 10.8.4, compatible with Python 3.11–3.14. Release cadence is irregular, following upstream Kissat releases.
Traffic · last 30 days ↓100% vs prev 7d
total hits 8
actors 2 distinct systems
last hit 9d ago AhrefsBot
top countries 🇨🇦 Canada · 🇺🇸 United States · 🇪🇸 Spain · 🇩🇪 Germany
Resources
API endpoints
full doc /v1/registry/passagemath-kissat