5 Commits

Author	SHA1	Message	Date
Tiago Gomes	64a27847cc	Introduce a lifted solver class	2012-11-14 21:55:51 +00:00
Tiago Gomes	4776817603	move more code around	2012-11-10 00:18:20 +00:00
Tiago Gomes	07bcc89a76	factor out some lifted operations in a new class	2012-11-09 23:52:35 +00:00
Tiago Gomes	b8cef8798a	fix warning produced by new version of gcc	2012-11-01 22:54:14 +00:00
Tiago Gomes	d4f63b3942	drop Solver suffix and rename some files and classes	2012-06-12 16:29:57 +01:00