PBSUGAR

SAT-gebaseerde pseudo-boolean probleemoplosser
Download nu

PBSUGAR Rangschikking & Samenvatting

Advertentie

  • Rating:
  • Vergunning:
  • BSD
  • Naam uitgever:
  • Naoyuki Tamura
  • Besturingssystemen:
  • Mac OS X
  • Bestandsgrootte:
  • 203 KB

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