GitHub repository: maana-io/maana-optimization-google-satsolver
Primary language: Python
Description: simple constraint programming using google or tools Sat Solver