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 86e54fb8
Prev Next
Show latest version
3 files
+ 67
− 71
Compare changes
  • Side-by-side
  • Inline
Files
3
project2/README.md
+ 1
− 1
@@ -4,7 +4,7 @@ This project includes:
@@ -4,7 +4,7 @@ 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 the (3,3) instance in Z3: `jobshop3.smt2`
- a model of the (3,3) instance in Z3: `jobshop3.smt2`
- a model of the (10,5) instance in Z3 through python: `jobshop10.py`
- an N jobs M machines instance of job-shop in Z3 through python and applications to the given (3,3) and (10,5) instances: `jobshop.py`
- a python script to generate Z3 code, but quite inneficient to solve problems: `gen_z3.py`
- a python script to generate Z3 code, but quite inneficient to solve problems: `gen_z3.py`
### Usage
### Usage