@hackage toysolver0.4.0

Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc

  • Installation

  • Tested Compilers

  • Dependencies (41)

  • Dependents (4)

    @hackage/satchmo-toysat, @hackage/acme-everything, @hackage/ersatz-toysat, @hackage/qhull
  • Package Flags

      forcechar8
       (off by default)

      set default encoding to char8 (not to use iconv)

      linuxstatic
       (off by default)

      build statically linked binaries

      buildtoyfmf
       (off by default)

      build toyfmf command

      buildsampleprograms
       (off by default)

      build sample programs

      buildmiscprograms
       (off by default)

      build misc programs

      exceptions06
       (on by default)

      use exceptions >=0.6

      time15
       (on by default)

      use time >=1.5.0

      transformers051
       (on by default)

      use transformers >=0.5.1

      usehaskeline
       (on by default)

      use haskeline package

Toy-level implementation of some decision procedures