Zucker

Ein Sat-basierter Zwangslöser
Jetzt downloaden

Zucker Ranking & Zusammenfassung

Anzeige

  • Rating:
  • Lizenz:
  • BSD
  • Preis:
  • FREE
  • Name des Herausgebers:
  • Naoyuki Tamura
  • Website des Verlags:
  • http://bach.istc.kobe-u.ac.jp/tamura.html
  • Betriebssysteme:
  • Mac OS X
  • Dateigröße:
  • 603 KB

Zucker Stichworte


Zucker Beschreibung

Zucker ist ein Freier- und Open-Source-Solver mit einem endlichen linearen Einschränkungs-Zufriedenheits-Problem (CSP) oder ein CONSTRAINT-Optimierungsproblem (COP) .sugar codiert die Probleme in ein boolescher Befriedigungsprüfungsprobleme (SAT) und löst das SAT-Problem mit einem externen Sat-Solver.Das Zucker-Tool verwendet ein neues Sat-Codierungs-Verfahren mit dem Namen "Ordercoding". In der Reihenfolgecodierung ein Vergleich x


Zucker Zugehörige Software

Textformation.

TEXTFORMATION ist ein kostenloses FileMaker Pro-Plug-In, das den Text dynamisch in Ihre FileMaker-Lösungen verwandelt ...

144 317 KB

Herunterladen

OpenScript

Ermöglicht das Einfügen von AppleScript-, Perl- und Frontier-Befehlen in Ihren HTML-Seiten. ...

98 104 KB

Herunterladen

Über uns