文件名称：toysolver:我的沙盒，用于实验求解器算法
文件大小：3.52MB
文件格式：ZIP
更新时间：2024-05-25 07:17:19
algorithms sat-solver smt-solver theorem-prover mathematical-programming
玩具 黑客： 开发人员： 它提供了各种问题的求解器实现，包括SAT，SMT，Max-SAT，PBS（伪布尔优化），PBO（伪布尔优化），MILP（混合整数线性规划）和非线性实数算法。 特别是它包含中等速度的纯Haskell SAT求解器“ toysat”。 安装 从二进制文件安装 可以从页面下载Windows，Mac和Linux的二进制发行。 从黑客安装 cabal install toysolver或stack install toysolver 使用stack从源安装 安装stack git clone --recursive https://github.com/msakai/toysolver.git cd toysolver stack install 使用cabal-install从源cabal-install 安装GHC和cabal （您可以使用ghcu