Implement complete KD rule
Add pseudo rule for MultiModalKD
The rule creator for MultiModalKD does not do anything but calling theone of MultiModalK.
Add some explaining comments
added include directories
Add basic INSTALL instructions
Makefile: include .depend as a dependency
Use -include directive to tell Make that Make itself has to create the.depend file. Therefore, add a .depend target in addition to the phonydepend target.
Remove all kinds of generated files on make clean
Add . to the include search path
Look for headers in . as well, just to make sure it works for thosehaving minisat-includes saved in the project directory.
Make system-includes and C++-Linker configurable
Include minisat- and caml-includes via #include <..> to make theirlocation in the file system configurable
Add coalg, coalgcompare to .gitignore
It contains the most current tarball created by the original authorFlorian Widmann.
Also available in: Atom