Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

Tree [e5b635] 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 14 hours ago Utz-Uwe Haus Utz-Uwe Haus [e5b635] various fixes and syntax cleanups
certificate.h 14 hours ago Utz-Uwe Haus Utz-Uwe Haus [e5b635] various fixes and syntax cleanups
clause.c 2015-05-04 Utz-Uwe Haus Utz-Uwe Haus [14da51] Fix clang warnings
clause.h 14 hours ago Utz-Uwe Haus Utz-Uwe Haus [e5b635] various fixes and syntax cleanups
clutter.c 14 hours ago Utz-Uwe Haus Utz-Uwe Haus [e5b635] various fixes and syntax cleanups
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 14 hours ago Utz-Uwe Haus Utz-Uwe Haus [e5b635] various fixes and syntax cleanups
dimacs.c 2015-05-04 Utz-Uwe Haus Utz-Uwe Haus [14da51] Fix clang warnings
dimacs.h 2013-07-18 Utz-Uwe Haus Utz-Uwe Haus [5c5a63] Update Copyright messages and move to GPL3 lice...
duality_check.c 14 hours ago Utz-Uwe Haus Utz-Uwe Haus [e5b635] various fixes and syntax cleanups
duality_check.h 14 hours ago Utz-Uwe Haus Utz-Uwe Haus [e5b635] various fixes and syntax cleanups
jg.c 14 hours ago Utz-Uwe Haus Utz-Uwe Haus [e5b635] various fixes and syntax cleanups
jg.h 14 hours ago Utz-Uwe Haus Utz-Uwe Haus [e5b635] various fixes and syntax cleanups
o-hg.c 2013-07-18 Utz-Uwe Haus Utz-Uwe Haus [5c5a63] Update Copyright messages and move to GPL3 lice...
o-perm.c 14 hours ago Utz-Uwe Haus Utz-Uwe Haus [e5b635] various fixes and syntax cleanups
o-tfreq.h 2013-07-18 Utz-Uwe Haus Utz-Uwe Haus [5c5a63] Update Copyright messages and move to GPL3 lice...
oracle.c 14 hours ago Utz-Uwe Haus Utz-Uwe Haus [e5b635] various fixes and syntax cleanups
oracle.h 14 hours ago Utz-Uwe Haus Utz-Uwe Haus [e5b635] various fixes and syntax cleanups
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