Wed, 18 Apr 2007 16:35:04 +0000 deba Small changes
Wed, 18 Apr 2007 16:34:40 +0000 deba Demo program for SAT problems
Wed, 11 Apr 2007 07:34:40 +0000 ladanyi Added SimplePath::front().
Tue, 10 Apr 2007 09:01:30 +0000 athos Slight modifications.
Fri, 06 Apr 2007 22:50:27 +0000 deba Parameter reordering
Fri, 30 Mar 2007 14:17:28 +0000 deba Small improvments
Tue, 27 Mar 2007 09:23:33 +0000 athos I only corrected bugs to make things compile: some featured not implemented here yet.