The minisat-solver package

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain]

Warnings:

This package provides high-level Haskell bindings for the well-known MiniSat satisfiability solver. It solves the boolean satisfiability problem, i.e., the input is a boolean formula, and the output is a list of all satisfying assignments. MiniSat is a fully automated, well-optimized general-purpose SAT solver written by Niklas Een and Niklas Sorensson, and further modified by Takahisa Toda. Unlike other similar Haskell packages, we provide a convenient high-level interface to the SAT solver, hiding the complexity of the underlying C implementation. It can be easily integrated into other programs as an efficient turn-key solution to many search problems. To illustrate the use of the library, two example programs are included in the "examples" directory; one program solves Sudoku puzzles, and the other solves a 3-dimensional block packing problem. These programs can be built manually, or by invoking Cabal with the --enable-benchmarks option.

Properties

Versions0.1, 0.1
Change logChangeLog
Dependenciesbase (>=4.6 && <5), containers, transformers [details]
LicenseMIT
CopyrightCopyright (c) 2016 Peter Selinger, Copyright (c) 2015 Takahisa Toda, Copyright (c) 2005 Niklas Sorensson
AuthorPeter Selinger
Maintainerselinger@mathstat.dal.ca
CategoryLogic
Home pagehttp://www.mathstat.dal.ca/~selinger/minisat-solver/
UploadedMon Oct 24 19:13:11 UTC 2016 by PeterSelinger

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees