Snapshots of the Princess Sources

If you are adventurous, you can download the latest Princess sources right from the SVN repository:
For Scala 2.11 and 2.12: svn co svn://hal4.it.uu.se/princess/interpolation/trunk
For Scala 2.13: svn co svn://hal4.it.uu.se/princess/interpolation/branches/scala-2.13
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