D/CVSROOT////
/AUTHORS/1.1/Wed May 31 13:47:57 2006//
/COPYING/1.1/Wed May 31 13:47:57 2006//
/NEWS/1.1/Wed May 31 13:47:57 2006//
/README/1.1/Wed May 31 13:47:57 2006//
/autogen.sh/1.1/Wed May 31 13:47:58 2006//
/ChangeLog/1.1/Wed May 31 13:48:34 2006//
/configure.ac/1.1/Wed May 31 13:48:35 2006//
D/heuristic////
/Makefile.am/1.1/Wed May 31 13:54:58 2006//
D/instrumentation////
D/localsolver////
D/misc////
D/satjm////
D/splitter////
D/startup////
/INSTALL/1.2/Tue Aug  8 11:08:23 2006//
