Commit 8cbd28c

committed

Use the statically linked kissat.

1 parent c4c061a commit 8cbd28cCopy full SHA for 8cbd28c

1 file changed

+0

-0

lines changed

nnf/bin
- kissat

1 file changed

+0

-0

lines changed

`‎nnf/bin/kissat‎`

986 KB

Binary file not shown.

Comments

(0)