uuverifiers / princess 2024-03-22

GitHub

The Princess Theorem Prover

smt-lib
theorem-prover
logic
smt
smt-solver

Scala versions: 2.13 2.12 2.11

Latest version

[![princess Scala version support](https://index-dev.scala-lang.org/uuverifiers/princess/princess/latest.svg)](https://index-dev.scala-lang.org/uuverifiers/princess/princess)

JVM badge

[![princess Scala version support](https://index-dev.scala-lang.org/uuverifiers/princess/princess/latest-by-scala-version.svg?platform=jvm)](https://index-dev.scala-lang.org/uuverifiers/princess/princess)