项目描述 ：
SLIME Cloud: A Free Massive World Class High Performance SAT Solver, Winner of Crypto Track and 3rd place on Cloud Track at the SAT Competition 2021.

高级语言： C++

项目主页： http://www.peqnp.com

项目地址: git://github.com/maxtuno/SLIME.git

创建时间： 2020-03-20T14:44:59Z
项目社区：https://github.com/maxtuno/SLIME
开源协议：
下载