Pràctica maxSAT curs 2018-19
@Author: Joan Palau Oncins @Author: Pablo Serrano Navarro
Data entrega: 10/12/2018
Estat pràctica:
Exercici 1 : COMPLETED
Exercici 2 : COMPLETED
Exercici 3 : COMPLETED
Ampliació : COMPLETED
- 1-3 COMPLETED, not TESTED
- Multiple answers COMPLETED
Informe : COMPLETED
- Redacció document DONE
- Modelització matemàtica EX1 DONE
- Modelització matemàtica EX2 DONE
- Modelització matemàtica EX3 TODO
- Provar diferents satSolvers TODO -> provat LMHS
- Generador grafs DROPPED
-Generar grafs manualment DONE