Shadowgraph

Tech stack & purpose

toysolver is a Haskell library and collection of command-line tools implementing solvers for SAT, SMT, Max-SAT, Pseudo-Boolean Optimization, Mixed Integer Linear Programming, and non-linear real arithmetic problems. The project is built in Haskell and includes toysat, a moderately fast pure-Haskell SAT solver that placed second in multiple categories at the PB'12 competition. It provides multiple executables—toysolver for arithmetic solving, toysat for SAT-based problems, toysmt for SMT, toyconvert for format conversion, and others—along with support for numerous file formats including DIMACS CNF, WCNF, OPB, LP, MPS, and SMT-LIB 2.