Solving Boolean satisfiability and integer programming with Python packaging

1 comments

• amelius 33 minutes ago

  I wouldn't be surprised if pip had a SAT solver as a dependency.