www.owlscript.org
Zippy package.