/automated-reasoning-report

Solving a Constraint Satisfaction Problem with ASP and MiniZinc.

Primary LanguageTeXMIT LicenseMIT

Automated Reasoning report

Solving a Constraint Satisfaction Problem with ASP and MiniZinc.

Read the report here.