2024年9月3日
如何在Linux环境下配置SAT求解器cryptominisat和stp环境
摘要： 目录安装执行环境安装minisat安装cryptominisat：cryptominisat求解器参考网站安装stp：stp参考网站cadical和cadiback的环境变量配置 安装执行环境 apt-get install cmake g++ zlib1g-dev libboost-all-dev 阅读全文
posted @ 2024-09-03 15:54 散落de回忆 阅读(35) 评论(0) 推荐(0) 编辑