The C++ source code found in ALCHDIR/src is divided into six directories: util/, parser/, logic/, learnwts/, learnstruct/ and infer/. Most of the code is found in .h files for convenient inlining. We avoided the use of polymorphism as much as possible, since virtual functions are not inlined and we would like to have as much inlining as possible for the code to run quickly. Most of the .h files have names that are the same as those of the classes they contain.