/SATtoXSAT

Reductor de instancias SAT a X-SAT - Primera parte del proyecto del curso Complejidad y Optimización

Primary LanguageJavaScript

No issues in this repository yet.