Documentation

simplifyNumberConstraint :: ([Integer] -> Integer) -> [Integer] -> Maybe Integer Source #

simplifyDNLs :: [Integer] -> Maybe Integer Source #

simplifyDNGs :: [Integer] -> Maybe Integer Source #

verifyDNEq :: [Integer] -> Maybe (Maybe Integer) Source #

verify3 :: Maybe Integer -> Maybe Integer -> Maybe Integer -> Maybe () Source #

verify2 :: Maybe Integer -> Maybe Integer -> Maybe () Source #

verifyEquations :: Maybe Integer -> Maybe Integer -> Maybe Integer -> Maybe () Source #