Tree [ca6f67] master /
History



File Date Author Commit
.gitignore 2013-07-18 Utz-Uwe Haus Utz-Uwe Haus [f5929a] Fix Makefile.am and update README
AUTHORS 2013-07-18 Utz-Uwe Haus Utz-Uwe Haus [5c5a63] Update Copyright messages and move to GPL3 lice...
COPYING 2013-07-18 Utz-Uwe Haus Utz-Uwe Haus [e9ea16] Update COPYRIGHT
ChangeLog 2010-07-02 Utz-Uwe Haus Utz-Uwe Haus [3546b9] Initial commit
INSTALL 2013-07-18 Utz-Uwe Haus Utz-Uwe Haus [56c883] Fix dimacs cnf reader for size_t != unsigned in...
LICENSE 2013-07-18 Utz-Uwe Haus Utz-Uwe Haus [5c5a63] Update Copyright messages and move to GPL3 lice...
Makefile.am 2013-07-19 Utz-Uwe Haus Utz-Uwe Haus [95e683] 64bit clause slice support
NEWS 2010-07-02 Utz-Uwe Haus Utz-Uwe Haus [3546b9] Initial commit
README 2013-07-18 Utz-Uwe Haus Utz-Uwe Haus [abeaf5] clean up automake complaints
README.md 2013-07-18 Utz-Uwe Haus Utz-Uwe Haus [2d9b53] Update README formatting
autogen.sh 2010-07-02 Utz-Uwe Haus Utz-Uwe Haus [3546b9] Initial commit
bool.h 2013-07-18 Utz-Uwe Haus Utz-Uwe Haus [5c5a63] Update Copyright messages and move to GPL3 lice...
certificate.c 2013-07-18 Utz-Uwe Haus Utz-Uwe Haus [5c5a63] Update Copyright messages and move to GPL3 lice...
certificate.h 2013-07-18 Utz-Uwe Haus Utz-Uwe Haus [5c5a63] Update Copyright messages and move to GPL3 lice...
clause.c 2013-07-19 Utz-Uwe Haus Utz-Uwe Haus [95e683] 64bit clause slice support
clause.h 2013-10-07 Utz-Uwe Haus Utz-Uwe Haus [09f91d] Fix clauses_equal()
clutter.c 2013-07-19 Utz-Uwe Haus Utz-Uwe Haus [95e683] 64bit clause slice support
clutter.h 2013-07-18 Utz-Uwe Haus Utz-Uwe Haus [5c5a63] Update Copyright messages and move to GPL3 lice...
config.h.in 2013-07-19 Utz-Uwe Haus Utz-Uwe Haus [95e683] 64bit clause slice support
configure.ac 2013-07-19 Utz-Uwe Haus Utz-Uwe Haus [9992ca] Release 3.1: full 64 bit support
debug.h 2013-07-18 Utz-Uwe Haus Utz-Uwe Haus [5c5a63] Update Copyright messages and move to GPL3 lice...
dimacs.c 2013-07-18 Utz-Uwe Haus Utz-Uwe Haus [56c883] Fix dimacs cnf reader for size_t != unsigned in...
dimacs.h 2013-07-18 Utz-Uwe Haus Utz-Uwe Haus [5c5a63] Update Copyright messages and move to GPL3 lice...
duality_check.c 2013-10-07 Utz-Uwe Haus Utz-Uwe Haus [ca6f67] improve check_size_1(), it was doing one more c...
duality_check.h 2013-07-18 Utz-Uwe Haus Utz-Uwe Haus [5c5a63] Update Copyright messages and move to GPL3 lice...
jg.c 2013-07-18 Utz-Uwe Haus Utz-Uwe Haus [5c5a63] Update Copyright messages and move to GPL3 lice...
jg.h 2013-07-18 Utz-Uwe Haus Utz-Uwe Haus [5c5a63] Update Copyright messages and move to GPL3 lice...
o-hg.c 2013-07-18 Utz-Uwe Haus Utz-Uwe Haus [5c5a63] Update Copyright messages and move to GPL3 lice...
o-perm.c 2013-07-18 Utz-Uwe Haus Utz-Uwe Haus [5c5a63] Update Copyright messages and move to GPL3 lice...
o-tfreq.h 2013-07-18 Utz-Uwe Haus Utz-Uwe Haus [5c5a63] Update Copyright messages and move to GPL3 lice...
oracle.c 2013-07-18 Utz-Uwe Haus Utz-Uwe Haus [5c5a63] Update Copyright messages and move to GPL3 lice...
oracle.h 2013-07-18 Utz-Uwe Haus Utz-Uwe Haus [5c5a63] Update Copyright messages and move to GPL3 lice...
sample.dnf 2010-07-14 Utz-Uwe Haus Utz-Uwe Haus [119066] First running version.
test_hg.c 2013-07-18 Utz-Uwe Haus Utz-Uwe Haus [5c5a63] Update Copyright messages and move to GPL3 lice...

Read Me

Please see README.md