4 Commits

Author	SHA1	Message	Date
Tiago Gomes	8d14593c3e	add an enum for lifted solvers and do some renamings	2012-05-30 17:17:39 +01:00
Tiago Gomes	af6601837c	size_t invasion	2012-05-24 22:55:20 +01:00
Tiago Gomes	5124098b6c	delete unused code	2012-05-24 16:21:41 +01:00
Tiago Gomes	6c77afb3ae	ok, second try	2012-05-23 14:56:01 +01:00