|
|
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 |
|
|
|
65f4c77a7e
|
修改了OPT配置的实现，但存在BUG
|
2023-04-18 14:01: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 |
|
|
|
efb53c3281
|
增加哈希
|
2023-04-13 07:09:41 +00: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 |
|
|
|
72dc154140
|
同步代码
|
2023-04-08 07:26:09 +00:00 |
|
|
|
3a02172853
|
修复了BUG，环形子句传递完工
|
2023-04-07 11:47:15 +00:00 |
|
|
|
69a4d644c2
|
同步代码
|
2023-04-07 09:22:40 +00:00 |
|
|
|
11d2df20a2
|
子句共享数据变成全局变量
|
2023-04-06 12:10:06 +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 |
|
|
|
5993d873a9
|
输出原始模型
|
2023-04-04 11:47:36 +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 |
|
|
|
4101767f0b
|
同步代码
|
2023-03-30 10:50:38 +00:00 |
|
|
|
1c01d8ed1f
|
同步代码
|
2023-03-30 09:26:46 +00:00 |
|
|
|
069f8a460d
|
修改配置文件，测试docker
|
2023-03-29 07:12:33 +00:00 |
|
|
|
4b6201757b
|
修改项目架构，增加docker封装
|
2023-03-28 08:45:04 +00:00 |
|
