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 d110be83
Prev
Show latest version
1 file
+ 1
− 1
Compare changes
  • Side-by-side
  • Inline
project2/README.md
+ 1
− 1
@@ -3,8 +3,8 @@
@@ -3,8 +3,8 @@
This project includes:
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`
- 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`
- 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 model of the (3,3) instance in Z3: `jobshop3.smt2`
- 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