Source: haskell-funsat
Priority: optional
Section: misc
Maintainer: David Fox <dsf@seereason.com>
Build-Depends: debhelper (>= 7.0),
               haskell-devscripts (>= 0.6.15+nmu7),
               hscolour,
               cdbs,
               ghc6 (>= 6.8),
               ghc6-prof,
               libghc6-fgl-prof,
               libghc6-quickcheck-prof,
               libghc6-bimap-prof (>= 0.2),
               libghc6-bimap-prof (<< 0.3),
               libghc6-bitset-prof,
               libghc6-parse-dimacs-prof (>= 1.2),
               libghc6-parse-dimacs-prof (<< 2)
Build-Depends-Indep: ghc6-doc,
                     haddock,
                     libghc6-fgl-doc,
                     libghc6-quickcheck-doc,
                     libghc6-bimap-doc (>= 0.2),
                     libghc6-bimap-doc (<< 0.3),
                     libghc6-bitset-doc,
                     libghc6-parse-dimacs-doc (>= 1.2),
                     libghc6-parse-dimacs-doc (<< 2)
Standards-Version: 3.8.1
Homepage: http://github.com/dbueno/funsat

Package: libghc6-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 <dbueno@gmail.com>
 .
 This package contains the normal library files.

Package: libghc6-funsat-prof
Architecture: any
Section: haskell
Depends: ${haskell:Depends},
         ${misc:Depends},
         libghc6-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 <dbueno@gmail.com>
 .
 This package contains the libraries compiled with profiling enabled.

Package: libghc6-funsat-doc
Architecture: all
Section: doc
Depends: ${haskell:Depends},
         ${misc:Depends},
         ghc6-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 <dbueno@gmail.com>
 .
 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.