首页 探索 帮助
登录
lu
/
lp
镜像自地址 git://github.com/heyLu/lp
关注 1
点赞 0
派生 0
代码 工单管理 0 提交历史 982 版本发布 1 Wiki

暂无描述

分支: main
分支列表 标签列表
lp
/
rust
/
solve
/
examples
/
01-one-to-nine.cnf

01-one-to-nine.cnf 87B
永久链接 文件历史 原始文件 

    c a simple cnf with nine variables and no negations

p cnf 9 3
1 2 3 0
4 5 6 0
7 8 9 0