Home | Install | Examples | References | Contact

MINIMATOR is being developed at the LSV at ENS de Cachan, its authors are

• Romain Soulat (LSV)
• Laurent Fribourg (LSV)
• Ulrich Kühne (AGRA / University of Bremen)

For more information, please contact soulat@lsv.ens-cachan.fr.