In case it doesn't, click here: http://www.andreasen.org/mcl/download.cgi?rpm.
An application server.
A program that generates truth tables.
