satchmo 1.8.0 → 1.8.1
raw patch · 1 files changed
+30/−28 lines, 1 filesdep ~basePVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: base
API changes (from Hackage documentation)
- Satchmo.Code: instance (Decode a b) => Decode (Maybe a) (Maybe b)
- Satchmo.Code: instance (Decode c a) => Decode [c] [a]
- Satchmo.Polynomial: instance (Decode a Integer) => Decode (Poly a) Integer
- Satchmo.Polynomial: instance (Eq a) => Eq (Poly a)
- Satchmo.Polynomial: instance (Ord a) => Ord (Poly a)
- Satchmo.Polynomial: instance (Show a) => Show (Poly a)
+ Satchmo.Code: instance Decode a b => Decode (Maybe a) (Maybe b)
+ Satchmo.Code: instance Decode c a => Decode [c] [a]
+ Satchmo.Polynomial: instance Decode a Integer => Decode (Poly a) Integer
+ Satchmo.Polynomial: instance Eq a => Eq (Poly a)
+ Satchmo.Polynomial: instance Ord a => Ord (Poly a)
+ Satchmo.Polynomial: instance Show a => Show (Poly a)
- Satchmo.Binary.Op.Common: eq :: (MonadSAT m) => Number -> Number -> m Boolean
+ Satchmo.Binary.Op.Common: eq :: MonadSAT m => Number -> Number -> m Boolean
- Satchmo.Binary.Op.Common: equals :: (MonadSAT m) => Number -> Number -> m Boolean
+ Satchmo.Binary.Op.Common: equals :: MonadSAT m => Number -> Number -> m Boolean
- Satchmo.Binary.Op.Common: full_adder :: (MonadSAT m) => Boolean -> Boolean -> Boolean -> m (Boolean, Boolean)
+ Satchmo.Binary.Op.Common: full_adder :: MonadSAT m => Boolean -> Boolean -> Boolean -> m (Boolean, Boolean)
- Satchmo.Binary.Op.Common: ge :: (MonadSAT m) => Number -> Number -> m Boolean
+ Satchmo.Binary.Op.Common: ge :: MonadSAT m => Number -> Number -> m Boolean
- Satchmo.Binary.Op.Common: gt :: (MonadSAT m) => Number -> Number -> m Boolean
+ Satchmo.Binary.Op.Common: gt :: MonadSAT m => Number -> Number -> m Boolean
- Satchmo.Binary.Op.Common: half_adder :: (MonadSAT m) => Boolean -> Boolean -> m (Boolean, Boolean)
+ Satchmo.Binary.Op.Common: half_adder :: MonadSAT m => Boolean -> Boolean -> m (Boolean, Boolean)
- Satchmo.Binary.Op.Common: iszero :: (MonadSAT m) => Number -> m Boolean
+ Satchmo.Binary.Op.Common: iszero :: MonadSAT m => Number -> m Boolean
- Satchmo.Binary.Op.Common: le :: (MonadSAT m) => Number -> Number -> m Boolean
+ Satchmo.Binary.Op.Common: le :: MonadSAT m => Number -> Number -> m Boolean
- Satchmo.Binary.Op.Common: lt :: (MonadSAT m) => Number -> Number -> m Boolean
+ Satchmo.Binary.Op.Common: lt :: MonadSAT m => Number -> Number -> m Boolean
- Satchmo.Binary.Op.Fixed: add :: (MonadSAT m) => Number -> Number -> m Number
+ Satchmo.Binary.Op.Fixed: add :: MonadSAT m => Number -> Number -> m Number
- Satchmo.Binary.Op.Fixed: constant :: (MonadSAT m) => Integer -> m Number
+ Satchmo.Binary.Op.Fixed: constant :: MonadSAT m => Integer -> m Number
- Satchmo.Binary.Op.Fixed: number :: (MonadSAT m) => Int -> m Number
+ Satchmo.Binary.Op.Fixed: number :: MonadSAT m => Int -> m Number
- Satchmo.Binary.Op.Fixed: restricted :: (MonadSAT m) => Int -> Number -> m Number
+ Satchmo.Binary.Op.Fixed: restricted :: MonadSAT m => Int -> Number -> m Number
- Satchmo.Binary.Op.Fixed: times :: (MonadSAT m) => Number -> Number -> m Number
+ Satchmo.Binary.Op.Fixed: times :: MonadSAT m => Number -> Number -> m Number
- Satchmo.Binary.Op.Flexible: add :: (MonadSAT m) => Number -> Number -> m Number
+ Satchmo.Binary.Op.Flexible: add :: MonadSAT m => Number -> Number -> m Number
- Satchmo.Binary.Op.Flexible: add_with_carry :: (MonadSAT m) => Boolean -> Booleans -> Booleans -> m (Booleans, Boolean)
+ Satchmo.Binary.Op.Flexible: add_with_carry :: MonadSAT m => Boolean -> Booleans -> Booleans -> m (Booleans, Boolean)
- Satchmo.Binary.Op.Flexible: constant :: (MonadSAT m) => Integer -> m Number
+ Satchmo.Binary.Op.Flexible: constant :: MonadSAT m => Integer -> m Number
- Satchmo.Binary.Op.Flexible: number :: (MonadSAT m) => Int -> m Number
+ Satchmo.Binary.Op.Flexible: number :: MonadSAT m => Int -> m Number
- Satchmo.Binary.Op.Flexible: shift :: (MonadSAT m) => Number -> m Number
+ Satchmo.Binary.Op.Flexible: shift :: MonadSAT m => Number -> m Number
- Satchmo.Binary.Op.Flexible: times :: (MonadSAT m) => Number -> Number -> m Number
+ Satchmo.Binary.Op.Flexible: times :: MonadSAT m => Number -> Number -> m Number
- Satchmo.Binary.Op.Flexible: times1 :: (MonadSAT m) => Boolean -> Number -> m Number
+ Satchmo.Binary.Op.Flexible: times1 :: MonadSAT m => Boolean -> Number -> m Number
- Satchmo.Boolean: and :: (MonadSAT m) => [Boolean] -> m Boolean
+ Satchmo.Boolean: and :: MonadSAT m => [Boolean] -> m Boolean
- Satchmo.Boolean: assert :: (MonadSAT m) => [Boolean] -> m ()
+ Satchmo.Boolean: assert :: MonadSAT m => [Boolean] -> m ()
- Satchmo.Boolean: assertW :: (MonadSAT m) => Weight -> [Boolean] -> m ()
+ Satchmo.Boolean: assertW :: MonadSAT m => Weight -> [Boolean] -> m ()
- Satchmo.Boolean: boolean :: (MonadSAT m) => m Boolean
+ Satchmo.Boolean: boolean :: MonadSAT m => m Boolean
- Satchmo.Boolean: constant :: (MonadSAT m) => Bool -> m Boolean
+ Satchmo.Boolean: constant :: MonadSAT m => Bool -> m Boolean
- Satchmo.Boolean: emit :: (MonadSAT m) => Clause -> m ()
+ Satchmo.Boolean: emit :: MonadSAT m => Clause -> m ()
- Satchmo.Boolean: emitW :: (MonadSAT m) => Weight -> Clause -> m ()
+ Satchmo.Boolean: emitW :: MonadSAT m => Weight -> Clause -> m ()
- Satchmo.Boolean: exists :: (MonadSAT m) => m Boolean
+ Satchmo.Boolean: exists :: MonadSAT m => m Boolean
- Satchmo.Boolean: forall :: (MonadSAT m) => m Boolean
+ Satchmo.Boolean: forall :: MonadSAT m => m Boolean
- Satchmo.Boolean: fresh :: (MonadSAT m) => m Literal
+ Satchmo.Boolean: fresh :: MonadSAT m => m Literal
- Satchmo.Boolean: fresh_forall :: (MonadSAT m) => m Literal
+ Satchmo.Boolean: fresh_forall :: MonadSAT m => m Literal
- Satchmo.Boolean: fun2 :: (MonadSAT m) => (Bool -> Bool -> Bool) -> Boolean -> Boolean -> m Boolean
+ Satchmo.Boolean: fun2 :: MonadSAT m => (Bool -> Bool -> Bool) -> Boolean -> Boolean -> m Boolean
- Satchmo.Boolean: fun3 :: (MonadSAT m) => (Bool -> Bool -> Bool -> Bool) -> Boolean -> Boolean -> Boolean -> m Boolean
+ Satchmo.Boolean: fun3 :: MonadSAT m => (Bool -> Bool -> Bool -> Bool) -> Boolean -> Boolean -> Boolean -> m Boolean
- Satchmo.Boolean: monadic :: (Monad m) => ([a] -> m b) -> ([m a] -> m b)
+ Satchmo.Boolean: monadic :: Monad m => ([a] -> m b) -> ([m a] -> m b)
- Satchmo.Boolean: or :: (MonadSAT m) => [Boolean] -> m Boolean
+ Satchmo.Boolean: or :: MonadSAT m => [Boolean] -> m Boolean
- Satchmo.Boolean: xor :: (MonadSAT m) => [Boolean] -> m Boolean
+ Satchmo.Boolean: xor :: MonadSAT m => [Boolean] -> m Boolean
- Satchmo.Code: decode :: (Decode c a) => c -> Decoder a
+ Satchmo.Code: decode :: Decode c a => c -> Decoder a
- Satchmo.Counting: atleast :: (MonadSAT m) => Int -> [Boolean] -> m Boolean
+ Satchmo.Counting: atleast :: MonadSAT m => Int -> [Boolean] -> m Boolean
- Satchmo.Counting: atmost :: (MonadSAT m) => Int -> [Boolean] -> m Boolean
+ Satchmo.Counting: atmost :: MonadSAT m => Int -> [Boolean] -> m Boolean
- Satchmo.Counting: exactly :: (MonadSAT m) => Int -> [Boolean] -> m Boolean
+ Satchmo.Counting: exactly :: MonadSAT m => Int -> [Boolean] -> m Boolean
- Satchmo.Integer: add :: (MonadSAT m) => Number -> Number -> m Number
+ Satchmo.Integer: add :: MonadSAT m => Number -> Number -> m Number
- Satchmo.Integer: constant :: (MonadSAT m) => Int -> Integer -> m Number
+ Satchmo.Integer: constant :: MonadSAT m => Int -> Integer -> m Number
- Satchmo.Integer: eq :: (MonadSAT m) => Number -> Number -> m Boolean
+ Satchmo.Integer: eq :: MonadSAT m => Number -> Number -> m Boolean
- Satchmo.Integer: ge :: (MonadSAT m) => Number -> Number -> m Boolean
+ Satchmo.Integer: ge :: MonadSAT m => Number -> Number -> m Boolean
- Satchmo.Integer: gt :: (MonadSAT m) => Number -> Number -> m Boolean
+ Satchmo.Integer: gt :: MonadSAT m => Number -> Number -> m Boolean
- Satchmo.Integer: negate :: (MonadSAT m) => Number -> m Number
+ Satchmo.Integer: negate :: MonadSAT m => Number -> m Number
- Satchmo.Integer: number :: (MonadSAT m) => Int -> m Number
+ Satchmo.Integer: number :: MonadSAT m => Int -> m Number
- Satchmo.Integer: sub :: (MonadSAT m) => Number -> Number -> m Number
+ Satchmo.Integer: sub :: MonadSAT m => Number -> Number -> m Number
- Satchmo.Integer: times :: (MonadSAT m) => Number -> Number -> m Number
+ Satchmo.Integer: times :: MonadSAT m => Number -> Number -> m Number
- Satchmo.MonadSAT: emit :: (MonadSAT m) => Clause -> m ()
+ Satchmo.MonadSAT: emit :: MonadSAT m => Clause -> m ()
- Satchmo.MonadSAT: emitW :: (MonadSAT m) => Weight -> Clause -> m ()
+ Satchmo.MonadSAT: emitW :: MonadSAT m => Weight -> Clause -> m ()
- Satchmo.MonadSAT: fresh :: (MonadSAT m) => m Literal
+ Satchmo.MonadSAT: fresh :: MonadSAT m => m Literal
- Satchmo.MonadSAT: fresh_forall :: (MonadSAT m) => m Literal
+ Satchmo.MonadSAT: fresh_forall :: MonadSAT m => m Literal
- Satchmo.Polynomial: add :: (MonadSAT m) => Poly Number -> Poly Number -> m (Poly Number)
+ Satchmo.Polynomial: add :: MonadSAT m => Poly Number -> Poly Number -> m (Poly Number)
- Satchmo.Polynomial: constant :: (MonadSAT m) => Integer -> m (Poly Number)
+ Satchmo.Polynomial: constant :: MonadSAT m => Integer -> m (Poly Number)
- Satchmo.Polynomial: equals :: (MonadSAT m) => Poly Number -> Poly Number -> m Boolean
+ Satchmo.Polynomial: equals :: MonadSAT m => Poly Number -> Poly Number -> m Boolean
- Satchmo.Polynomial: ge :: (MonadSAT m) => Poly Number -> Poly Number -> m Boolean
+ Satchmo.Polynomial: ge :: MonadSAT m => Poly Number -> Poly Number -> m Boolean
- Satchmo.Polynomial: gt :: (MonadSAT m) => Poly Number -> Poly Number -> m Boolean
+ Satchmo.Polynomial: gt :: MonadSAT m => Poly Number -> Poly Number -> m Boolean
- Satchmo.Polynomial: iszero :: (MonadSAT m) => Poly Number -> m Boolean
+ Satchmo.Polynomial: iszero :: MonadSAT m => Poly Number -> m Boolean
- Satchmo.Polynomial: number :: (MonadSAT m) => Int -> Int -> m (Poly Number)
+ Satchmo.Polynomial: number :: MonadSAT m => Int -> Int -> m (Poly Number)
- Satchmo.Polynomial: times :: (MonadSAT m) => Poly Number -> Poly Number -> m (Poly Number)
+ Satchmo.Polynomial: times :: MonadSAT m => Poly Number -> Poly Number -> m (Poly Number)
- Satchmo.SAT: emit :: (MonadSAT m) => Clause -> m ()
+ Satchmo.SAT: emit :: MonadSAT m => Clause -> m ()
- Satchmo.SAT: fresh :: (MonadSAT m) => m Literal
+ Satchmo.SAT: fresh :: MonadSAT m => m Literal
- Satchmo.SAT: fresh_forall :: (MonadSAT m) => m Literal
+ Satchmo.SAT: fresh_forall :: MonadSAT m => m Literal
Files
- satchmo.cabal +30/−28
satchmo.cabal view
@@ -1,5 +1,5 @@ Name: satchmo-Version: 1.8.0+Version: 1.8.1 License: GPL License-file: gpl-2.0.txt@@ -13,35 +13,37 @@ This package contains functions that construct problems, to solve them, you need package satchmo-backends. Category: Algorithms-Build-depends: mtl, process, containers, base >= 3 && <= 4, array, bytestring, directory-Exposed-modules:- Satchmo.Data+cabal-version: >= 1.6+build-type: Simple++Library+ Build-depends: mtl, process, containers, base == 4.*, array, bytestring, directory+ Exposed-modules:+ Satchmo.Data Satchmo.Solve Satchmo.Boolean- Satchmo.Counting- Satchmo.Code- Satchmo.Binary- Satchmo.Integer- Satchmo.Binary.Op.Common- Satchmo.Binary.Op.Fixed- Satchmo.Binary.Op.Flexible- Satchmo.Polynomial- Satchmo.Relation- Satchmo.Relation.Data- Satchmo.Relation.Op- Satchmo.Relation.Prop- Satchmo.MonadSAT- Satchmo.SAT- Satchmo.Simple- Satchmo.SAT.Weighted-Other-modules:- Satchmo.Binary.Data- Satchmo.Integer.Data+ Satchmo.Counting+ Satchmo.Code+ Satchmo.Binary+ Satchmo.Integer+ Satchmo.Binary.Op.Common+ Satchmo.Binary.Op.Fixed+ Satchmo.Binary.Op.Flexible+ Satchmo.Polynomial+ Satchmo.Relation+ Satchmo.Relation.Data+ Satchmo.Relation.Op+ Satchmo.Relation.Prop+ Satchmo.MonadSAT+ Satchmo.SAT+ Satchmo.Simple+ Satchmo.SAT.Weighted+ Other-modules:+ Satchmo.Binary.Data+ Satchmo.Integer.Data Satchmo.Boolean.Op Satchmo.Integer.Op Satchmo.Boolean.Data-hs-source-dirs: .-extensions: -build-type: Simple-ghc-options: -funbox-strict-fields-ghc-prof-options: -auto+ hs-source-dirs: .+ extensions: +