8000 Tags · curtisbright/cadical · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Tags: curtisbright/cadical

Tags

rel-1.2.1

Toggle rel-1.2.1's commit message 
removed debugging dump

rel-1.2.0

Toggle rel-1.2.0's commit message 
Fixed (i)val, recompute glue (to promote clauses) and condition (glob…

…ally blocked).

rel-1.0.3

Toggle rel-1.0.3's commit message 
fixed name in badge

rel-1.0.2

Toggle rel-1.0.2's commit message 
new version

rel-1.0.0

Toggle rel-1.0.0's commit message 
release 1.0.0

sr19

Toggle sr19's commit message 
released sr2019

sc18

Toggle sc18's commit message 
bumped to sc18

rel-06w

Toggle rel-06w's commit message 
added closed contributing information

sc17

Toggle sc17's commit message 
cleaned up source release scripts
0