3 Commits

Author	SHA1	Message	Date
Tiago Gomes	0ed89d3eeb	add flag to lifted knowledge compilation and s/fove/lve	2012-11-08 15:05:48 +00:00
Tiago Gomes	63739c6e31	minor updates	2012-06-18 23:08:37 +01:00
Tiago Gomes	b16b0b6a3f	add a README file	2012-06-18 21:38:40 +01:00