Snapshots of the Princess Sources

If you are adventurous, you can download the latest Princess sources right from the SVN repository:
svn co svn://hal4.it.uu.se/princess/interpolation/trunk
Username and password are both anonymous.
Nightly builds are available from our Maven repository.

In addition to the normal version of Princess, we also maintain a branch specific for solving TPTP problems.

Stable snapshots

Stable snapshots of the CASC/TPTP version