toysolver, 用于实验求解算法的沙箱.zip

【文件属性】：

文件名称：toysolver, 用于实验求解算法的沙箱.zip

文件大小：3.53MB

文件格式：ZIP

更新时间：2022-10-30 02:07:41

开源

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