Snapshots of the Princess Sources

The latest releases are available on the Github page.

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.

Older snapshots

Stable snapshots of the CASC/TPTP version