PBSUGAR.

Sat-basierte Pseudo-boolesche Problemlöser
Jetzt downloaden

PBSUGAR. Ranking & Zusammenfassung

Anzeige

  • Rating:
  • Lizenz:
  • BSD
  • Name des Herausgebers:
  • Naoyuki Tamura
  • Betriebssysteme:
  • Mac OS X
  • Dateigröße:
  • 203 KB

PBSUGAR. Stichworte


PBSUGAR. Beschreibung

PBSUGAR ist ein freies, open-Source- und Command-Line-basiertes Dienstprogramm, mit dem Sie sat-basierte Pseudo-boolesche Probleme problemlos lösen können. Insbesondere kann PBSUGAR Probleme der Kategorie Dec-Smallint-Lin lösen.


PBSUGAR. Zugehörige Software

Über uns