• Solving Boolean satisfiability and integer programming with Python packaging https://mmaaz.ca/writings/pipip.html 25 comments 25/11/2024