文件名称：toysolver, 用于实验求解算法的沙箱.zip
文件大小：3.53MB
文件格式：ZIP
更新时间：2022-10-08 01:52:31
开源
toysolver, 用于实验求解算法的沙箱 toysolver 为解决各种问题提供了解决方案，包括 SAT 。SMT 。最大 SAT 。PBS ( 伪布尔满足) 。PBO ( 伪布尔优化)，MILP和非线性实数运算。特别是它包含中等速度的纯 haskell
toysolver, 用于实验求解算法的沙箱.zip
【文件属性】：