funsat 0.5.1 → 0.5.2

raw patch · 3 files changed

+28/−32 lines, 3 filesdep −parsecdep ~bitsetdep ~parse-dimacs

Dependencies removed: parsec

Dependency ranges changed: bitset, parse-dimacs

Files

• CHANGES +4/−0
• bugs.org +2/−1
• funsat.cabal +22/−31

@@ -1,5 +1,9 @@ -*- mode: outline -*- +* 0.5.2+Maintenance update because a new (incompatible) version of bitset, version 1.0,+was released.  Funsat should again compile via cabal-install.+ * 0.5.1 ** Update for compatibility with parse-dimacs 1.2, which should mean faster parsing.

@@ -11,7 +11,8 @@   :END: ** DEFECT resTrace field of resolution trace needn't be there    - State "DEFECT"     [2008-10-10 Fri 16:30] \\-     I think it's just keeping around too much info.+     I think it's just keeping around too much info.  It doesn't affect the+     correctness of the code.  * fiblib ** FEATURE Implement ST-based fibonacci heap

@@ -1,5 +1,5 @@ Name:                funsat-Version:             0.5.1+Version:             0.5.2 Cabal-Version:       >= 1.2 Description: @@ -17,7 +17,7 @@ Synopsis:            A modern DPLL-style SAT solver Homepage:            http://github.com/dbueno/funsat Category:            Algorithms-Stability:           alpha+Stability:           beta License:             LGPL License-file:        LICENSE Author:              Denis Bueno@@ -46,32 +46,17 @@                       Control.Monad.MonadST                       Properties - Build-Depends:       base, parsec, containers, pretty, mtl-                      , array, QuickCheck, parse-dimacs >= 1.2, bitset-                      , fgl, time---- Executable funsat-prof---  Main-is:             Main.hs---  Ghc-options:         -prof -auto-all---                       -funbox-strict-fields---                       -W---                       -fwarn-dodgy-imports -fwarn-incomplete-record-updates---                       -fwarn-unused-binds -fwarn-unused-imports---  Extensions:          CPP---  CPP-options:         -DTESTING---  Hs-source-dirs:      . tests---  Other-modules:       Funsat.Solver---                       Funsat.Types---                       Funsat.Resolution---                       Funsat.FastDom---                       Funsat.Utils---                       Funsat.Monad---                       Text.Tabular---                       Control.Monad.MonadST---                       Properties---  Build-Depends:       base, parsec, containers, pretty, mtl---                       , random, array, QuickCheck, parse-dimacs >= 1.2, bitset---                       , fgl, time+ Build-Depends:       base,+                      random,+                      containers,+                      pretty,+                      mtl,+                      array,+                      QuickCheck,+                      parse-dimacs >= 1.2 && < 2,+                      bitset < 1,+                      fgl,+                      time   Library@@ -88,6 +73,12 @@                       -fwarn-unused-binds -fwarn-unused-imports  Extensions:          CPP  Hs-source-dirs:      . tests- Build-Depends:       base, parsec, containers, pretty, mtl-                      , random, array, QuickCheck, parse-dimacs >= 1.2, bitset-                      , fgl+ Build-Depends:       base,+                      containers,+                      pretty,+                      mtl,+                      array,+                      QuickCheck,+                      parse-dimacs >= 1.2 && < 2,+                      bitset < 1,+                      fgl