3 Commits

Author	SHA1	Message	Date
Tiago Gomes	f1499f99f3	Introduce set_em_solver and use it	2012-12-17 21:19:47 +00:00
Tiago Gomes	eea7ce2885	Fix file names	2012-12-13 19:02:04 +00:00
Tiago Gomes	66cd58655b	Place the debug_school predicate into a different file	2012-12-12 15:36:38 +00:00