This software has been developed within the Computational Logic research group at St Andrews University, by Roy Dyckhoff, Neil Leslie, Tom Peillon, Brenda Rapley, Luis Pinto, Andrew Adams, Christian Urban, Jacob Howe and others.
It is copyright of the University of St Andrews.