|
.gitignore
|
2013-07-18
|
Utz-Uwe Haus
|
[f5929a]
Fix Makefile.am and update README
|
|
AUTHORS
|
2013-07-18
|
Utz-Uwe Haus
|
[5c5a63]
Update Copyright messages and move to GPL3 lice...
|
|
COPYING
|
2013-07-18
|
Utz-Uwe Haus
|
[e9ea16]
Update COPYRIGHT
|
|
ChangeLog
|
2010-07-02
|
Utz-Uwe Haus
|
[3546b9]
Initial commit
|
|
INSTALL
|
2013-07-18
|
Utz-Uwe Haus
|
[56c883]
Fix dimacs cnf reader for size_t != unsigned in...
|
|
LICENSE
|
2013-07-18
|
Utz-Uwe Haus
|
[5c5a63]
Update Copyright messages and move to GPL3 lice...
|
|
Makefile.am
|
2013-07-19
|
Utz-Uwe Haus
|
[95e683]
64bit clause slice support
|
|
NEWS
|
2010-07-02
|
Utz-Uwe Haus
|
[3546b9]
Initial commit
|
|
README
|
2013-07-18
|
Utz-Uwe Haus
|
[abeaf5]
clean up automake complaints
|
|
README.md
|
2013-07-18
|
Utz-Uwe Haus
|
[2d9b53]
Update README formatting
|
|
autogen.sh
|
2010-07-02
|
Utz-Uwe Haus
|
[3546b9]
Initial commit
|
|
bool.h
|
2013-07-18
|
Utz-Uwe Haus
|
[5c5a63]
Update Copyright messages and move to GPL3 lice...
|
|
certificate.c
|
2015-05-22
|
Utz-Uwe Haus
|
[e5b635]
various fixes and syntax cleanups
|
|
certificate.h
|
2015-05-22
|
Utz-Uwe Haus
|
[e5b635]
various fixes and syntax cleanups
|
|
clause.c
|
2015-05-04
|
Utz-Uwe Haus
|
[14da51]
Fix clang warnings
|
|
clause.h
|
2015-05-22
|
Utz-Uwe Haus
|
[e5b635]
various fixes and syntax cleanups
|
|
clutter.c
|
2015-05-22
|
Utz-Uwe Haus
|
[e5b635]
various fixes and syntax cleanups
|
|
clutter.h
|
2013-07-18
|
Utz-Uwe Haus
|
[5c5a63]
Update Copyright messages and move to GPL3 lice...
|
|
config.h.in
|
2013-07-19
|
Utz-Uwe Haus
|
[95e683]
64bit clause slice support
|
|
configure.ac
|
2013-07-19
|
Utz-Uwe Haus
|
[9992ca]
Release 3.1: full 64 bit support
|
|
debug.h
|
2015-05-22
|
Utz-Uwe Haus
|
[e5b635]
various fixes and syntax cleanups
|
|
dimacs.c
|
2015-05-04
|
Utz-Uwe Haus
|
[14da51]
Fix clang warnings
|
|
dimacs.h
|
2013-07-18
|
Utz-Uwe Haus
|
[5c5a63]
Update Copyright messages and move to GPL3 lice...
|
|
duality_check.c
|
2015-05-22
|
Utz-Uwe Haus
|
[e5b635]
various fixes and syntax cleanups
|
|
duality_check.h
|
2015-05-22
|
Utz-Uwe Haus
|
[e5b635]
various fixes and syntax cleanups
|
|
jg.c
|
2015-05-22
|
Utz-Uwe Haus
|
[e5b635]
various fixes and syntax cleanups
|
|
jg.h
|
2015-05-22
|
Utz-Uwe Haus
|
[e5b635]
various fixes and syntax cleanups
|
|
o-hg.c
|
2013-07-18
|
Utz-Uwe Haus
|
[5c5a63]
Update Copyright messages and move to GPL3 lice...
|
|
o-perm.c
|
2015-05-22
|
Utz-Uwe Haus
|
[e5b635]
various fixes and syntax cleanups
|
|
o-tfreq.h
|
2013-07-18
|
Utz-Uwe Haus
|
[5c5a63]
Update Copyright messages and move to GPL3 lice...
|
|
oracle.c
|
2015-05-22
|
Utz-Uwe Haus
|
[e5b635]
various fixes and syntax cleanups
|
|
oracle.h
|
2015-05-22
|
Utz-Uwe Haus
|
[e5b635]
various fixes and syntax cleanups
|
|
sample.dnf
|
2010-07-14
|
Utz-Uwe Haus
|
[119066]
First running version.
|
|
test_hg.c
|
2013-07-18
|
Utz-Uwe Haus
|
[5c5a63]
Update Copyright messages and move to GPL3 lice...
|
