System Installation
The MathServe system is available under the GNU Public License. Both a binary distribution and the system sources are available.A Lightweight Client
Before you install the complete MathServe system you might want to try a simple, but lightweight, client implemented in Java. You have to download the binary tarball mathserve-client.tgz.Untar the package with
tar xvzf mathserve-client.tgz
and look at the file mathserve-client/callMS to see how to invoke the client on a TPTP problem.Binary Distribution
Since December 2005 we offer a binary distribution of MathServe for IBM compatible (i386) Linux machines.- The outdated binary tarball MathServe-0.73-bin.tar.gz
for version 0.73 is available.
- A distribution of MathServe 0.81 is a available at MathServe-0.81-bin.tar.gz.
Note that ATP services in MathServe 0.81 do not return derivation proofs in TPTP syntax.
System Requirements
- So far, MathServe has only been tested on state-of-the-art Linux distributions on IBM-compatible machines.
- Since MathServe is a Java application you will need a Java 1.4.2 SDK. If you have a newer version of Java installed, you have to recompile the sources (see below) and you will not have accurate CPU time measurements.
- The SWI Prolog used by the tptp2X relies on the older library libreadline.so.4.
Installation from System Sources
You can obtain the MathServe sources via anonymous CVS by doing:cvs -d:pserver:anonymous@cvs.ags.uni-sb.de:/CVS/mathserve loginwhere the password is omega. Then you can checkout the sources with
cvs -d:pserver:$anonymous@cvs.ags.uni-sb.de:/CVS/mathserve co .Please follow the instructions available here to install the system from the sources.
Contact:
Last modified: Fri Sep 22 17:00:59 CEST 2006