#
# ChangeLog for demo/sat.cc in lemon-0.x
#
# Generated by Trac 1.2.3
# 06/03/24 02:54:16

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