Portability | portable |
---|---|
Stability | provisional |
Maintainer | masahiro.sakai@gmail.com |
Safe Haskell | Safe-Inferred |
References:
Documentation
WCNF | |
|
type WeightedClause = (Weight, Clause)Source
Portability | portable |
---|---|
Stability | provisional |
Maintainer | masahiro.sakai@gmail.com |
Safe Haskell | Safe-Inferred |
References:
WCNF | |
|
type WeightedClause = (Weight, Clause)Source