Herramientas‎ > ‎

Herramienta SAT

Herramienta para trabajar con Resolución en Lógica Proposicional

(descomprimir el archivo SAT.rar y en la carpeta SAT se encuentra el archivo ejecutable SAT.exe)
Comments