GabVenturato / arproject Public

Notifications You must be signed in to change notification settings
Fork 0
Star 1

Project from my Automated Reasoning course in CS master degree

1 star 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 20 Commits
asp		asp
instances		instances
minizinc		minizinc
report		report
.gitignore		.gitignore
README.md		README.md
assignment.pdf		assignment.pdf
create_instances.py		create_instances.py

Repository files navigation

Automated Reasoning's Project

ASP and MiniZinc modeling

Project from my Automated Reasoning course in CS master degree. Details in report folder (in italian).

About

Project from my Automated Reasoning course in CS master degree

constraint-programming logic-programming minizinc answer-set-programming

Report repository

Releases

No releases published

Packages

No packages published

Languages