GitHub repository: stebanca1998/SATtoXSAT
Primary language: JavaScript
Created: 2020-09-22T20:21:07Z
Description: Reductor de instancias SAT a X-SAT - Primera parte del proyecto del curso Complejidad y Optimización