Copyright | © Edward Kmett 2010-2014, Johan Kiviniemi 2013 |
---|---|
License | BSD3 |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Stability | experimental |
Portability | non-portable |
Safe Haskell | Safe |
Language | Haskell2010 |
- 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)
Documentation
Solution | |
|