cjcruzrivera/ReductorSAT-IP
Programa que recibe como entrada una instancia SAT en formato DIMACS y genera un programa equivalente de programación entera (IP) para MiniZinc. Curso Complejidad y Optimizacion Univalle 2019-1
C++
Programa que recibe como entrada una instancia SAT en formato DIMACS y genera un programa equivalente de programación entera (IP) para MiniZinc. Curso Complejidad y Optimizacion Univalle 2019-1
C++