Skip to content
Snippets Groups Projects

Resolve "complete mini project 2"

Merged Resolve "complete mini project 2"
7-complete-mini-project-2 into main
Merged aalbert requested to merge 7-complete-mini-project-2 into main
Viewing commit 65073dfd
Prev Next
Show latest version
1 file
+ 1
− 1
Compare changes
  • Side-by-side
  • Inline
project2/README.md
+ 1
− 1
@@ -2,7 +2,7 @@
@@ -2,7 +2,7 @@
This project includes:
This project includes:
- an N jobs M machines instance of job-shop in Prolog and applications to the (3,3) and () instances: `jobshop.pl`
- an N jobs M machines instance of job-shop in Prolog and applications to the given (3,3) and (10,5) instances: `jobshop.pl`
- a model of this instance in Z3: `jobshop3.smt2`
- a model of this instance in Z3: `jobshop3.smt2`
The library `clpfd` has been used instead of `clpq` wich is not maintened anymore.
The library `clpfd` has been used instead of `clpq` wich is not maintened anymore.