Schließe

Ein Antwort-Set-Solver für normale oder erweiterte Logikprogramme.
Jetzt downloaden

Schließe Ranking & Zusammenfassung

Anzeige

  • Rating:
  • Lizenz:
  • Freeware
  • Name des Herausgebers:
  • University of Applied Sciences Potsdam
  • Betriebssysteme:
  • Windows All
  • Dateigröße:
  • 408 KB

Schließe Stichworte


Schließe Beschreibung

Mit CLASP ist eine Implementierung des Programmieralgorithmus des Antwortsatzes, mit dem Sie normale Logikprogramme lösen können. Die Methode basiert auf der konfliktgesteuerten Nogood-Lerntechnik. Sie können dieses Tool als ASP-Solver, Sat-Solver oder PB-Solver für Ihre Projekte verwenden, die die Antwort einbeziehen.


Schließe Zugehörige Software

Adams.

adams ist ein leistungsfähiges Multibody-Dynamik- und Bewegungsanalyseprogramm. ...

46 102 MB

Herunterladen

Über uns