6 Commits

Author	SHA1	Message	Date
Philippe Tillet	e5f7064806	More formatting	2014-09-11 18:19:02 -04:00
Philippe Tillet	0dd76b8b45	Fixed formatting for exhaustive searches	2014-09-11 17:50:26 -04:00
Philippe Tillet	08d17aa58c	Added exhaustive search backend	2014-09-11 16:14:26 -04:00
Philippe Tillet	bf48d69b17	Modifications of the mutation	2014-09-11 13:42:48 -04:00
Philippe Tillet	539efa029f	Trying a new mutation operator	2014-09-10 11:10:19 -04:00
Philippe Tillet	2055a8cc59	Some improvements	2014-09-06 00:40:11 -04:00