Solving Boolean satisfiability and integer programming with Python packaging(mmaaz.ca)72 points by mmaaz_98 1 year ago | 16 comments