toysolver, 用于实验求解算法的沙箱 toysolver 为解决各种问题提供了解决方案,包括 SAT 。SMT 。最大 SAT 。PBS ( 伪布尔满足) 。PBO ( 伪布尔优化),MILP和非线性实数运算。特别是它包含中等速度的纯 haskell