{"library":"pycosat","title":"pycosat","description":"Python bindings to PicoSAT, a popular SAT solver written in C. Version 0.6.6 is the latest. The library is mature but receives infrequent updates; it is in maintenance mode.","language":"python","status":"maintenance","last_verified":"Sat May 09","install":{"commands":["pip install pycosat"],"cli":null},"imports":["from pycosat import itersolve"],"auth":{"required":false,"env_vars":[]},"quickstart":{"code":"import pycosat\n# Solve a SAT problem: each clause is a list of integers\ncnf = [[1, -2], [-1, 3], [-2, -3]]\nsolution = pycosat.itersolve(cnf)\nfor sol in solution:\n    print(sol)","lang":"python","description":"Solve a simple CNF SAT problem using the generator itersolve.","tag":null,"tag_description":null,"last_tested":null,"results":[]},"compatibility":null}