/readme.txt/1.1/Fri Sep  9 10:15:42 2005//
/AC3Solver.java/1.15/Thu Nov  3 14:22:00 2005//
/ACSolver.java/1.12/Thu Nov  3 14:22:00 2005//
/BinaryArc.java/1.6/Thu Nov  3 14:21:58 2005//
/HyperArc.java/1.6/Thu Nov  3 14:22:02 2005//
/NCSolver.java/1.11/Thu Nov  3 14:22:00 2005//
D
