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.