Safe Haskell | None |
---|---|
Language | Haskell2010 |
PureSAT.Clause2
Documentation
litInClause :: Lit -> Clause2 -> Bool Source #
isBinaryClause2 :: Clause2 -> Bool Source #
nullClause :: Clause2 Source #
isNullClause :: Clause2 -> Bool Source #
sizeofClause2 :: Clause2 -> Int Source #