Minos is now open source

and can be found at

http://minos.sourceforge.net/