This code was primarily written by Aymeric Fromherz (CMU) and Marina Polubelova (INRIA).
An earlier version was written by Jean Karim Zinzindohoue (INRIA).