/automated-reasoning

Solving a Constraint Satisfaction Problem with ASP and MiniZinc.

Primary LanguagePythonMIT LicenseMIT

Automated Reasoning

Solving a Constraint Satisfaction Problem with ASP and MiniZinc.

Read the report here.