/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

Primary LanguageC++

Reductor SAT-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