@hackage toysolver0.5.0

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

logictptp045

 (on by default)

use logic-TPTP >=0.4.5.0

usehaskeline

 (on by default)

use haskeline package

opencl

 (off by default)

use opencl package

testcbc

 (off by default)

run test cases that depends on cbc command

testcplex

 (off by default)

run test cases that depends on cplex command

testglpsol

 (off by default)

run test cases that depends on glpsol command

testgurobicl

 (off by default)

run test cases that depends on gurobi_cl command

testlpsolve

 (off by default)

run test cases that depends on lp_solve command

testscip

 (off by default)

run test cases that depends on scip command