toysolver (hackage): 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.
Keywords: algorithms|bsd3|constraints|formal-methods|library|logic|optimisation|optimization|program|smt|theorem-provers|mathematical-programming|sat-solver|smt-solver|theorem-prover