 | incremental-sat-solverEenvoudig, incrementeel zat oplossen als een Haskell-bibliotheek |
| Download nu | |
incremental-sat-solver Rangschikking & Samenvatting
Advertentie
- Vergunning:
- BSD
- Prijs:
- FREE
- Naam uitgever:
- Sebastian Fischer
- Uitgever website:
- Besturingssystemen:
- Mac OS X
- Bestandsgrootte:
- 4 KB
incremental-sat-solver Tags
incremental-sat-solver Beschrijving
Eenvoudig, incrementeel zat oplossen als een Haskell-bibliotheek Incremental-Sat-Solver is een gratis en open source Haskell-bibliotheek die een implementatie van het Davis-Putnam-Logemann-Loveland-algoritme voor de Booleaanse bevredigingsprobleem biedt. Incremental-sat-solver maakt het niet alleen toe om Booleaanse formules in één keer op te lossen, maar ook Om beperkingen en querybanden van variabelen uit te voegen. Vereisten: · GHC
incremental-sat-solver Gerelateerde software
Camlpdf
OCAML-bibliotheek voor het lezen, schrijven en manipuleren van Adobe Portable Documentbestanden ...
286 KB
