Wed, 18 Apr 2007 16:35:04 +0000Small changes
deba [Wed, 18 Apr 2007 16:35:04 +0000] rev 2421
Small changes

Wed, 18 Apr 2007 16:34:40 +0000Demo program for SAT problems
deba [Wed, 18 Apr 2007 16:34:40 +0000] rev 2420
Demo program for SAT problems

Wed, 11 Apr 2007 07:34:40 +0000Added SimplePath::front().
ladanyi [Wed, 11 Apr 2007 07:34:40 +0000] rev 2419
Added SimplePath::front().

Tue, 10 Apr 2007 09:01:30 +0000Slight modifications.
athos [Tue, 10 Apr 2007 09:01:30 +0000] rev 2418
Slight modifications.

Fri, 06 Apr 2007 22:50:27 +0000Parameter reordering
deba [Fri, 06 Apr 2007 22:50:27 +0000] rev 2417
Parameter reordering

Patch from Kovacs Peter

Fri, 30 Mar 2007 14:17:28 +0000Small improvments
deba [Fri, 30 Mar 2007 14:17:28 +0000] rev 2416
Small improvments

Tue, 27 Mar 2007 09:23:33 +0000I only corrected bugs to make things compile: some featured not implemented here yet.
athos [Tue, 27 Mar 2007 09:23:33 +0000] rev 2415
I only corrected bugs to make things compile: some featured not implemented here yet.

Mon, 26 Mar 2007 10:44:03 +0000Bug fix
deba [Mon, 26 Mar 2007 10:44:03 +0000] rev 2414
Bug fix
Wrong renaming