Source: haskell-funsat Priority: optional Section: misc Maintainer: David Fox Build-Depends: debhelper (>= 7.0), haskell-devscripts (>= 0.6.15+nmu7), hscolour, cdbs, ghc (>= 6.8), ghc-prof, libghc-fgl-prof, libghc-quickcheck-prof, libghc-bimap-prof (>= 0.2), libghc-bimap-prof (<< 0.3), libghc-bitset-prof, libghc-mtl-prof (>= 2), libghc-parse-dimacs-prof (>= 1.2), libghc-parse-dimacs-prof (<< 2), libghc-time-prof Build-Depends-Indep: ghc-doc, haddock, libghc-fgl-doc, libghc-quickcheck-doc, libghc-bimap-doc (>= 0.2), libghc-bimap-doc (<< 0.3), libghc-bitset-doc, libghc-parse-dimacs-doc (>= 1.2), libghc-parse-dimacs-doc (<< 2), libghc-time-doc Standards-Version: 3.8.1 Homepage: http://github.com/dbueno/funsat Package: libghc-funsat-dev Architecture: any Section: haskell Depends: ${haskell:Depends}, ${misc:Depends} Description: A modern DPLL-style SAT solver Funsat is a native Haskell SAT solver that uses modern techniques for solving SAT instances. Current features include two-watched literals, conflict-directed learning, non-chronological backtracking, a VSIDS-like dynamic variable ordering, and restarts. Our goal is to facilitate convenient embedding of a reasonably fast SAT solver as a constraint solving backend in other applications. Currently along this theme we provide unsatisfiable core generation (see "Funsat.Resolution") and a logical circuit interface (see "Funsat.Circuit"). New in 0.6: circuits and BSD3 license. . Author: Denis Bueno Upstream-Maintainer: Denis Bueno . This package contains the normal library files. Package: libghc-funsat-prof Architecture: any Section: haskell Depends: ${haskell:Depends}, ${misc:Depends}, libghc-funsat-dev Description: A modern DPLL-style SAT solver Funsat is a native Haskell SAT solver that uses modern techniques for solving SAT instances. Current features include two-watched literals, conflict-directed learning, non-chronological backtracking, a VSIDS-like dynamic variable ordering, and restarts. Our goal is to facilitate convenient embedding of a reasonably fast SAT solver as a constraint solving backend in other applications. Currently along this theme we provide unsatisfiable core generation (see "Funsat.Resolution") and a logical circuit interface (see "Funsat.Circuit"). New in 0.6: circuits and BSD3 license. . Author: Denis Bueno Upstream-Maintainer: Denis Bueno . This package contains the libraries compiled with profiling enabled. Package: libghc-funsat-doc Architecture: all Section: doc Depends: ${haskell:Depends}, ${misc:Depends}, ghc-doc Description: A modern DPLL-style SAT solver Funsat is a native Haskell SAT solver that uses modern techniques for solving SAT instances. Current features include two-watched literals, conflict-directed learning, non-chronological backtracking, a VSIDS-like dynamic variable ordering, and restarts. Our goal is to facilitate convenient embedding of a reasonably fast SAT solver as a constraint solving backend in other applications. Currently along this theme we provide unsatisfiable core generation (see "Funsat.Resolution") and a logical circuit interface (see "Funsat.Circuit"). New in 0.6: circuits and BSD3 license. . Author: Denis Bueno Upstream-Maintainer: Denis Bueno . This package contains the documentation files. Package: funsat Architecture: any Section: misc Depends: ${shlibs:Depends}, ${haskell:Depends}, ${misc:Depends} Description: An executable built with the funsat-0.6.1 library.