Solving Boolean satisfiability and integer programming with Python packaging