https://github.com/fslivovsky/qute
Revision cd3a2d653fc073585ef05e2ebb72ab015d851279 authored by Niklas Sorensson on 19 November 2012, 13:50:09 UTC, committed by Niklas Sorensson on 19 November 2012, 13:50:09 UTC
1 parent 386e4f3
Tip revision: cd3a2d653fc073585ef05e2ebb72ab015d851279 authored by Niklas Sorensson on 19 November 2012, 13:50:09 UTC
Also relocate clauses on the subsumption queue.
Also relocate clauses on the subsumption queue.
Tip revision: cd3a2d6
File | Mode | Size |
---|---|---|
doc | ||
minisat | ||
.gitignore | -rw-r--r-- | 16 bytes |
CMakeLists.txt | -rw-r--r-- | 2.7 KB |
LICENSE | -rw-r--r-- | 1.1 KB |
Makefile | -rw-r--r-- | 9.3 KB |
README | -rw-r--r-- | 1.9 KB |
Computing file changes ...