Pbsugar Clasificación y resumen
- Nombre del editor:
- Naoyuki Tamura
- Sistemas operativos:
- Mac OS X
- Tamaño del archivo:
- 203 KB
Pbsugar Etiquetas
Pbsugar Descripción
PBSUDAR es una utilidad gratuita, basada en la línea de código abierto y de la línea de comandos que le permite resolver fácilmente problemas pseudo-booleanos basados en SAT. Específicamente, PBSUGAR es capaz de resolver problemas de la categoría DE DEC-SMALLINT-LIN.
Pbsugar Software relacionado