EqualitySolver 0.1.0.1 → 0.1.0.2

raw patch · 2 files changed

+13/−1 lines, 2 filesPVP: minor bump suggested

API additions: PVP suggests at least a minor version bump

API changes (from Hackage documentation)

Files

• EqualitySolver.cabal +1/−1
• src/EqualitySolver/Solver.hs +12/−0

@@ -2,7 +2,7 @@ -- documentation, see http://haskell.org/cabal/users-guide/  name:                EqualitySolver-version:             0.1.0.1+version:             0.1.0.2 synopsis:            A theory solver for conjunctions of literals in the theory of uninterpreted functions with equality -- description:          license:             BSD3

@@ -1,4 +1,6 @@ module EqualitySolver.Solver(+  EqFormula, EqLiteral, EqTerm,+  Name, Arity,   eqF, eq, neq,   var, fun,   satisfiableInEq) where@@ -55,7 +57,17 @@     deriving (Eq, Ord, Show)  type Arity = Int++-- |Make a new arity+arity :: Int -> Arity+arity i = i+ type Name = String++-- |Make a new name+name :: String -> Name+name n = n+  data EqTerm   = Function Name Arity [EqTerm]