msakai / toysolver

My sandbox for experimenting with solver algorithms.

msakai/toysolver Issues

restriction to base <4.15
Closed a year ago1
Incompatibility with optparse-applicative-0.18.1.0 + ansi-wl-pprint-0.6.9
Closed a year ago1
Ambiguous occurrence ‘singleton
Closed a year ago3
Build failure in toysolver-0.0.5 with GHC 9.2
Closed 3 years ago5
cabal install toysolver
Closed 3 years ago6
Fail to install, particularly toysolver-0.6.0
Closed 3 years ago5
one of the apps doesn't build on master
Closed 3 years ago5
release a toysolver to hackage that builds with 8.8 ... 8.0 please? :)
Closed 3 years ago4
toysat-ipasir segmentation fault on GHC-8.10.3
Closed 3 years ago2
prop_Simplex_explain failure
Closed 3 years ago1
It's not an issue
Closed 4 years ago
add "SMT" tags on hackage
Closed 5 years ago1
build script should not ask for sudo password and install system wide deps
Closed 6 years ago1
analyzeConflictHybrid error
Closed 7 years ago2
prop_getModel_evalFSym failure
Closed 7 years ago
toysat --pb not running for this input?
Closed 9 years ago1
Installation failed on Debian Linux
Closed 9 years ago2
Incorrect output from MIPSolverHL
Updated 10 years ago3
Real-closed field solver
Updated 11 years ago1
wrong optimum for normalized-minisat15_5_3_4_ic.opb
Closed 12 years ago
Stack overflow on minimizeConflictClauseRecursive?
Closed 12 years ago
conflict analysis bug
Closed 12 years ago