@hackage toysolver0.9.0

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

  • Installation

  • Tested Compilers

  • Dependencies (52)

  • 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

      withzlib
       (on by default)

      Use zlib package to support gzipped files

      buildtoyfmf
       (off by default)

      build toyfmf command

      buildforeignlibraries
       (on by default)

      build foreign libraries

      buildsampleprograms
       (off by default)

      build sample programs

      buildmiscprograms
       (off by default)

      build misc programs

      usehaskeline
       (on by default)

      use haskeline package

      opencl
       (off by default)

      use opencl package (deprecated)

      extraboundschecking
       (off by default)

      enable extra bounds checking for debugging

      optparse-applicative-018
       (off by default)

      use optparse-applicative >=0.18

Toy-level solver implementation of various problems including SAT, SMT, Max-SAT, PBSPBO (Pseudo Boolean SatisfactionOptimization), MILP (Mixed Integer Linear Programming) and non-linear real arithmetic.