{"library":"passagemath-kissat","title":"passagemath-kissat","description":"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.","language":"python","status":"active","last_verified":"Sat May 09","install":{"commands":["pip install passagemath-kissat"],"cli":null},"imports":["from passagemath.kissat import KissatSolver","from passagemath.kissat import solve_sat"],"auth":{"required":false,"env_vars":[]},"quickstart":{"code":"from passagemath.kissat import KissatSolver\n\nsolver = KissatSolver()\n# Example: solve a simple SAT problem (a ∨ b) ∧ (¬a ∨ c)\nsolver.add_clause([1, 2])   # a (var 1) or b (var 2)\nsolver.add_clause([-1, 3])  # not a or c (var 3)\nresult = solver.solve()\nprint('SAT' if result.satisfiable else 'UNSAT')\nif result.satisfiable:\n    print('Model:', result.model)\n    # Model is a list of variable assignments (e.g., [-2, 1, 3] meaning b=False, a=True, c=True)","lang":"python","description":"Basic usage: create a KissatSolver instance, add clauses (variables as positive integers), call solve(), and access satisfiability and model.","tag":null,"tag_description":null,"last_tested":null,"results":[]},"compatibility":null}