| PBSUGAR SAT-gebaseerde pseudo-boolean probleemoplosser |
Download nu |
PBSUGAR Rangschikking & Samenvatting
- Naam uitgever:
- Naoyuki Tamura
- Besturingssystemen:
- Mac OS X
PBSUGAR Tags
PBSUGAR Beschrijving
PBSUGAR is een gratis, open-source en opdracht-line-gebaseerde hulpprogramma waarmee u eenvoudig op de za's gevestigde pseudo-booleaanse problemen kunt oplossen. Specifiek is PBSUGAR in staat problemen op te lossen van de Categorie DEC-Smallint-Lin.
PBSUGAR Gerelateerde software