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 c7837fbf
Prev Next
Show latest version
2 files
+ 0
− 7
Compare changes
  • Side-by-side
  • Inline
Files
2
project2/README.md
+ 0
− 6
@@ -5,11 +5,5 @@ This project includes:
@@ -5,11 +5,5 @@ This project includes:
- an N jobs M machines instance of job-shop in Prolog and applications to the given (3,3) and (10,5) 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.
We encounter non-explained bugs with `clpq` that were immediatetly fixed by using `clpfd` instead wich is a nearly drop-in replacement:
- `{a >= b}` is replaced by `a #>= b`
- `minimize(Time)` is replaced by `labeling([min(Time)], Vars)`
### Usage
### Usage
With nix installed, simply type `swipl jobshop.pl` to run job-shop related queries. Prolog and Z3 can also be done online on <https://swish.swi-prolog.org/> and <https://compsys-tools.ens-lyon.fr/z3/> respectively.
With nix installed, simply type `swipl jobshop.pl` to run job-shop related queries. Prolog and Z3 can also be done online on <https://swish.swi-prolog.org/> and <https://compsys-tools.ens-lyon.fr/z3/> respectively.