The toolkit MINSimulate can be reached via http://dontcry.pdv.cs.tu-berlin.de/minsimulate
If you are not automatically forwarded by your browser please click hier.