|
|
9b988ce7f4
|
修复 RS 的 BUG
|
2023-04-20 13:01:51 +08:00 |
|
|
|
0cb9e15c01
|
三模式SAT,UNSAT,DEFAULT分布求解
|
2023-04-19 14:15:14 +08:00 |
|
|
|
abc360e94e
|
增加sat-unsat模式
|
2023-04-19 06:05:55 +00:00 |
|
|
|
64e95b347e
|
同步代码
|
2023-04-19 13:49:18 +08:00 |
|
|
|
f30bbb8bee
|
修复问题，base版本
|
2023-04-18 12:45:22 +00:00 |
|
|
|
58c69ee797
|
分为SAT和UNSAT两个环
|
2023-04-18 12:16:31 +00:00 |
|
|
|
a27941f04b
|
修改了 option 为全局量
|
2023-04-18 15:22:11 +08:00 |
|
|
|
bfc3567323
|
修复读入文件没有\0结尾的BUG，增加 lits 限制
|
2023-04-13 19:56:36 +08:00 |
|
|
|
4aa489e553
|
子句改为双模哈希
|
2023-04-13 16:57:22 +08:00 |
|
|
|
2234ad3798
|
修复 preprocess 的内存错误
|
2023-04-13 16:30:12 +08:00 |
|
|
|
53afd5e2ed
|
同步第一次实验结果
|
2023-04-13 15:10:19 +08:00 |
|
|
|
757860f5a2
|
同步测试信息
|
2023-04-12 12:52:04 +08:00 |
|
|
|
0ad944a5c9
|
使用 share_ptr 解决了共享子句内存泄漏
|
2023-04-10 15:58:33 +08:00 |
|
|
|
d6720eb29c
|
同步代码
|
2023-04-10 11:57:59 +08:00 |
|
|
|
efb23e7dee
|
可以使用的初版代码
|
2023-04-09 18:17:44 +08:00 |
|
|
|
3a02172853
|
修复了BUG，环形子句传递完工
|
2023-04-07 11:47:15 +00:00 |
|
|
|
69a4d644c2
|
同步代码
|
2023-04-07 09:22:40 +00:00 |
|
|
|
a3a2596713
|
同步代码
|
2023-04-06 11:57:08 +00:00 |
|
|
|
1c60672abf
|
同步代码
|
2023-04-06 10:55:41 +00:00 |
|
|
|
922fb87ef0
|
初步的环形子句共享已经实现
|
2023-04-06 08:27:29 +00:00 |
|
|
|
fd56ff9f9b
|
增加了日志库，更好的输出
|
2023-04-04 09:29:26 +00:00 |
|
|
|
14bfa6b15e
|
预处理解出不启动worer，到达时间限制自动退出。
|
2023-04-04 08:50:55 +00:00 |
|
|
|
03ef0a29ac
|
基本流程跑通
|
2023-04-03 03:14:28 +00:00 |
|
|
|
1c01d8ed1f
|
同步代码
|
2023-03-30 09:26:46 +00:00 |
|
