YuhangQ
0 Followers · 0 Following
  • Joined on 2022-10-23
Repositories
13
 Projects Packages Public Activity Starred Repositories
2
YuhangQ pushed to main at YuhangQ/cloud-sat 2023-04-20 07:57:33 +00:00
0eaf5b1b7d 去除了sat模式
72165e4b6f 修复一些问题
d609ed196a 树形传播初版已实现
018806b00c Merge branch 'main' of gitea.yuhangq.com:YuhangQ/cloud-sat into main
57afbf89df 精简代码
Compare 63 commits »
YuhangQ pushed to main at YuhangQ/cloud-sat 2023-04-20 06:56:39 +00:00
11449eca3b 树形传播初版已实现
64aeac80f1 Merge branch 'main' of gitea.yuhangq.com:YuhangQ/cloud-sat into main
67b4593847 精简代码
2f67cca6ed Merge branch 'main' of gitea.yuhangq.com:YuhangQ/cloud-sat into main
171fafc958 同步代码，树型传播
Compare 61 commits »
YuhangQ pushed to main at YuhangQ/cloud-sat 2023-04-20 06:49:09 +00:00
d609ed196a 树形传播初版已实现
YuhangQ pushed to main at YuhangQ/cloud-sat 2023-04-20 05:40:49 +00:00
018806b00c Merge branch 'main' of gitea.yuhangq.com:YuhangQ/cloud-sat into main
57afbf89df 精简代码
Compare 2 commits »
YuhangQ pushed to main at YuhangQ/cloud-sat 2023-04-20 05:02:46 +00:00
1b1c0c81c2 Merge branch 'main' of gitea.yuhangq.com:YuhangQ/cloud-sat into main
f53d7764b6 同步代码，树型传播
Compare 2 commits »
YuhangQ pushed to main at YuhangQ/cloud-sat 2023-04-20 05:01:55 +00:00
15b3f343ae Merge branch 'main' of gitea.yuhangq.com:YuhangQ/cloud-sat into main
ca4462bbb8 修复 RS 的 BUG
Compare 2 commits »
YuhangQ pushed to main at YuhangQ/cloud-sat 2023-04-19 08:59:03 +00:00
27a6f8963c 修改源码文件夹结构
YuhangQ pushed to main at YuhangQ/cloud-sat 2023-04-19 06:15:19 +00:00
d36e3e6975 三模式SAT,UNSAT,DEFAULT分布求解
YuhangQ pushed to main at YuhangQ/cloud-sat 2023-04-19 06:05:59 +00:00
3a310fe9ff 增加sat-unsat模式
YuhangQ pushed to main at YuhangQ/cloud-sat 2023-04-19 05:49:23 +00:00
9038ce048b 同步代码
YuhangQ pushed to main at YuhangQ/cloud-sat 2023-04-18 12:45:26 +00:00
76470817cf 修复问题，base版本
YuhangQ pushed to main at YuhangQ/cloud-sat 2023-04-18 12:16:36 +00:00
4d35c45365 分为SAT和UNSAT两个环
YuhangQ pushed to main at YuhangQ/cloud-sat 2023-04-18 07:22:15 +00:00
f0b131ba22 修改了 option 为全局量
YuhangQ pushed to main at YuhangQ/cloud-sat 2023-04-18 06:01:14 +00:00
35faa6c1ec 修改了OPT配置的实现，但存在BUG
YuhangQ pushed to main at YuhangQ/cloud-sat 2023-04-13 11:56:39 +00:00
17a9b0062e 修复读入文件没有\0结尾的BUG，增加 lits 限制
YuhangQ pushed to main at YuhangQ/cloud-sat 2023-04-13 08:57:24 +00:00
bb23becb96 子句改为双模哈希
YuhangQ pushed to main at YuhangQ/cloud-sat 2023-04-13 08:30:15 +00:00
1d40219028 修复 preprocess 的内存错误
YuhangQ pushed to main at YuhangQ/cloud-sat 2023-04-13 07:33:35 +00:00
a01d4cc744 修改项目结构
YuhangQ pushed to main at YuhangQ/cloud-sat 2023-04-13 07:24:28 +00:00
ea2b1dd9c3 清理实验信息
YuhangQ pushed to main at YuhangQ/cloud-sat 2023-04-13 07:13:04 +00:00
623af81370 同步第一次实验结果