A project should be done in CSP and ASP and then test with 30 instances and running time of them should be compared.
Write a Minizinc and an ASP program capable of finding a solution to the
following problem. Prepare a battery of 30 benchmark instances.
Generate them randomly but prepare some easy/small instances (a couple
of running time seconds),
some average instances (a couple of minutes) and some hard instances
Run both the Minizinc and the ASP encoding on all the instances,
possibly exploring different search strategies,
with a timeout of 5 minutes for each test
(``configuration'' option in Minizinc, --time-limit option in clingo, in
both cases you can use linux tricks)
In case of COPs, report the best value for the solution found within the
Write a short report (5-10) pages report containing 1) the problem
as written above 2) your models (and the reasons for some choices),
and 3) a presentation of the execution results.
Prepare the programs and the benchmark instances used in a unique zip file.
2 freelances font une offre moyenne de 220 € pour ce travail
ASP PROLOG EXPERT PHD SOFTWARE DEVELOPER DEAR EMPLOYER, I’ve completed the exact same projects before [login to view URL] me will be the fastest way to complete your task with the best rates possible. I CAN ASSURE YO Plus
i can do it well ,i read you project carefully . i do alot these types of project. i can do it 100%