ihan-o 14634be021 competition mode

2023-05-15 14:02:35 +08:00

.vscode

使用 share_ptr 解决了共享子句内存泄漏

2023-04-10 15:58:33 +08:00

docker

比赛版本测试

2023-05-01 06:12:36 +00:00

kissat-inc

最新版本

2023-05-13 22:41:13 +08:00

mapleCOMSPS

fixed another bug

2023-05-14 15:09:12 +08:00

src

competition mode

2023-05-15 14:02:35 +08:00

.gitignore

修改了OPT配置的实现，但存在BUG

2023-04-18 14:01:11 +08:00

makefile

add maple interface

2023-05-10 19:55:40 +08:00

res.txt

competition mode

2023-05-15 14:02:35 +08:00

result.txt

competition mode

2023-05-15 14:02:35 +08:00

run.sh

competition mode

2023-05-15 14:02:35 +08:00

test.cnf

比赛版本测试

2023-05-01 06:12:36 +00:00

Description

No description provided

862 MiB

Languages

C 48.5%

Shell 27.9%

C++ 13.6%

Makefile 8%

M4 1.7%

Other 0.2%