Hacker Next
Solving Boolean satisfiability and integer programming with Python packagingmmaaz.ca
77 points by mmaaz 4 days ago | 25 comments