当前位置:兵器玩家科技软件 → 一键转帖:CryptoMiniSat 2.9.0

软件名称:[B]CryptoMiniSat 2.9.0[/B]
软件类型:国产软件
运行环境:Win9X/Win2000/WinXP/Win2003/
软件语言:简体中文
授权方式:共享版
软件大小:503 KB
官方主页:Home Page
更新时间:2013-02-25 18:16:00
软件简介:

一个简单的SAT求解器。

CryptoMiniSat是一个小的,易于使用的,命令提示符的应用程序专门设计,为用户提供一个SAT求解器。

这个工具的目的是成为一个杰出的SAT求解器的所有功能和速度,成功的SAT求解器。


[url=http://www.sot9.com/soft/66246.html][B]CryptoMiniSat 2.9.0[/B][/url]

点这里下载->CryptoMiniSat 2.9.0 [ 下载地址 ]