/BasicSolver.cpp/1.12/Tue Sep 22 14:48:59 2009//
/BasicSolver.hpp/1.3/Tue Sep 22 14:48:59 2009//
/CatActHeap.hpp/1.1/Thu Jul 16 15:37:36 2009//
/ConstraintDB.cpp/1.7/Tue Sep 22 14:48:59 2009//
/ConstraintDB.hpp/1.5/Tue Sep 22 14:48:59 2009//
/LazyFraction.hpp/1.1/Thu Jul 16 15:37:36 2009//
/MaxHeap.hpp/1.2/Wed Jul 22 13:33:49 2009//
/Types.hpp/1.1/Thu Jul 16 15:37:36 2009//
