demo/sat.cc
Wed, 18 Apr 2007 16:34:40 +0000 Demo program for SAT problems