Funsat

Ein moderner SAT-Solver-DPLL-Stil
Jetzt downloaden

Funsat Ranking & Zusammenfassung

Anzeige

  • Rating:
  • Lizenz:
  • Freeware
  • Preis:
  • FREE
  • Name des Herausgebers:
  • Denis Bueno
  • Website des Verlags:
  • http://github.com/dbueno/funsat/wikis
  • Betriebssysteme:
  • Mac OS X
  • Dateigröße:
  • 40 KB

Funsat Stichworte


Funsat Beschreibung

Ein moderner Sat-Solver-DPLL-Stil Funsat ist ein einheimischer Haskell Sat Solver, der moderne Techniken zum Lösen von SAT-Instanzen verwendet. Die aktuellen Funktionen umfassen zwei angesehene Literale, ein konfliktgerichteter Lern, nicht chronologische Backtracking, eine vsiid-ähnliche dynamische variable Reihenfolge und Neustarts. Funsat zielt darauf ab, die bequeme Einbettung eines relativ schnellen Sat-Solvers als einschränkendes Backend in anderen Anwendungen zu erleichtern. Note: Funsat ist lizenziert und unter den Bedingungen der LGPL-Lizenz verteilt. Anforderungen: · GHC


Funsat Zugehörige Software

Flexy

Air-basierter Texy-ähnlicher Syntax-basierter Redakteur hauptsächlich für Web-Entwickler ...

160 1.3 MB

Herunterladen

Gmpy.

Erweiterungsmodul, das die GMP-Bibliothek umhüllt, um dem Python-Code schneller Multisprecision-Arithmetik bereitzustellen ...

199 228 KB

Herunterladen

Über uns