Skip to content
Snippets Groups Projects
Commit 62084744 authored by Peter Backeman's avatar Peter Backeman Committed by Nicolas Voirol
Browse files

Added initial version of Princess interface. 

-PrincessSolver.scala
 contains the wrapper code of an (incomplete) api towards princess.
-princess.jar & scala-actors-2.11.0.jar
 A (special) version of Princess with support for Natural numbers
 (i.e., an ADT with Succ, isZero, Pred and constant zero.

Also changed SolverFactory s.t. it allows --solvers=princess to run
with the new Princess backend.
parent 410e91c7
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment