Solving Boolean satisfiability and integer programming with Python packaging November 25, 2024 by Comments