#
# ChangeLog for demo/sat-2.cc in lemon-0.x
#
# Generated by Trac 1.2.3
# 05/23/24 20:04:55

Wed, 18 Apr 2007 16:34:40 GMT Balazs Dezso [2420:07c4f9bcb4d5]
	* demo/Makefile.am (modified)
	* demo/sat-2.cc (added)
	* demo/sat.cc (added)

	Demo program for SAT problems