Copyright | (c) Masahiro Sakai 2014 |
---|---|
License | BSD-style |
Maintainer | masahiro.sakai@gmail.com |
Stability | provisional |
Portability | non-portable |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Extensions | DeriveDataTypeable |
Wrapper for htcbdd command.
- HTC-BDD: Hypergraph Transversal Computation with Binary Decision Diagrams http://kuma-san.net/htcbdd.html
Documentation
Options for solving.
The default option can be obtained by def
.
Options | |
|
Instances
Exception Failure Source # | |
Defined in ToySolver.Combinatorial.HittingSet.HTCBDD toException :: Failure -> SomeException # fromException :: SomeException -> Maybe Failure # displayException :: Failure -> String # | |
Show Failure Source # | |