reduce code that uses type-level-numbers directly
add convertWBO :: PBFile.SoftFormula -> ShowS to ToySolver.Converter.PB2LSP
use GHC-7.8.3 instead of GHC-7.8.2 on Travis-CI
fix to avoid `user error (Text.Regex.Posix.String died: (ReturnCode 17,"illegal byte sequence"))'
break earlier in PBHandler.basicPropagate
make ToySolver.Data.PriorityQueue and ToySolver.Data.IndexedPriorityQueue to be more similar
use loop package to optimize loops in ToySolver.Data.PriorityQueue and ToySolver.Data.IndexedPriorityQueue
suppress warning about hiding unexported unsafeFreeze
use loop package to optimize loops in ToySolver.SAT module
modify pbconvert to use convertWBO function of ToySolver.Converter.PB2LSP
add samples/smt/chain.smt2
remove full width space
add ToySolver.Data.Vec module for simple 1-dimentional resizable array library
rewrite ToySolver.Data.PriorityQueue using ToySolver.Data.Vec
rewrite ToySolver.Data.IndexedPriorityQueue using ToySolver.Data.Vec
rewrite ToySolver.Data.IndexedPriorityQueue using ToySolver.Data.Vec (cont'd)
clean up ToySolver.LPSolver a little
add test cases for ToySolver.Simplex module
clean up ToySolver.Simplex a little
avoid compilation error of random-1.0.1.3 on GHC-7.4