GitHub-Vtec234/xnfsat

分支机构标签

姓名		姓名	上次提交消息	上次提交日期
最近一次提交历史 2个承诺
cnf2xnf		cnf2xnf
.gitignore（.git忽略）		.gitignore（.git忽略）
文件夹		文件夹
许可证		许可证
自述文件		自述文件
版本		版本
cf标志。小时		cf标志。小时
配置。c（c）		配置。c（c）
配置.sh		配置.sh
主要。c（c）		主要。c（c）
makefile.in		makefile.in
mkconfig.sh文件		mkconfig.sh配置
耶鲁。c（c）		耶鲁。c（c）
耶鲁。小时		耶鲁。小时
是的。小时		是的。小时

存储库文件导航

xnfSAT系统这是一个基于YalSAT的支持异或约束的SLS解算器。要构建，请运行“/configure.sh和make’。另请参阅“/配置.sh-h'，尤其是'的用法/configure.sh-g'编译版本具有调试、检查和日志记录支持。这将使用文件“yals.h”中的API构建库“libyals.a”和独立SAT解算器“xnfsat”。