Copyright | © Edward Kmett 2010-2014 Johan Kiviniemi 2013 |
---|---|
License | BSD3 |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Stability | experimental |
Portability | non-portable |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Synopsis
- data Solution = Solution {
- solutionLiteral :: Literal -> Maybe Bool
- solutionStableName :: StableName () -> Maybe Bool
- solutionFrom :: HasSAT s => IntMap Bool -> s -> Solution
- data Result
- type Solver s m = s -> m (Result, IntMap Bool)