- The "filling a shape" problem statement, the solution explanation and the execution results can be found in the report.pdf file
- The filling_a_shape.mzn file contains the MiniZinc encoding
- The filling_a_shape.lp file contains the ASP encoding
-
Notifications
You must be signed in to change notification settings - Fork 0
Automated Reasoning project.
License
Colle11/Filling-a-Shape_Problem
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Automated Reasoning project.