id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	revision
465	Better CMAKE config for the LP tools	Alpar Juttner	Akos Ladanyi	"The following two CMAKE config settings would especially nice when LEMON is used as a subproject:

* enable/disable each LP backend individually from CMAKE config.
* set the default LP backend."	enhancement	closed	major	LEMON 1.3 release	build system	hg main	done