2 Star 0 Fork 0

Yizhou Guo/Computation of congruence closures

加入 Gitee
与超过 1200万 开发者一起发现、参与优秀开源项目,私有仓库也完全免费 :)
免费加入
文件
克隆/下载
test_records.txt 344 Bytes
一键复制 编辑 原始数据 按行查看 历史
at commit bb59a38
recc = RandomExtendedConditionalCongruence(5, 5, 3, 3, 3)
的 500个测试都通过
RandomExtendedConditionalCongruence(5, 5, 3, 5, 5)
~~有一个不通过~~
all passing
RandomExtendedConditionalCongruence(10, 5, 3, 10, 10)
~~有14个不通过~~
~~10 failures~~
9 failures
6, 5, 3, 6, 6
~~at least one failure~~
all passing
马建仓 AI 助手
尝试更多
代码解读
代码找茬
代码优化
1
https://gitee.com/guoyiz/congruence_closure_computation.git
git@gitee.com:guoyiz/congruence_closure_computation.git
guoyiz
congruence_closure_computation
Computation of congruence closures
master

搜索帮助