/automated-reasoning

Solving a Constraint Satisfaction Problem with ASP and MiniZinc.

Primary LanguagePythonMIT LicenseMIT

Watchers