Minos is now open source

and can be found at

http://minos.berlios.de