Princess-smt-parser princess-smt-parser_2.13

Group	io.github.uuverifiers
描述	Princess is a theorem prover (aka SMT Solver) for Presburger arithmetic, uninterpreted predicates, and various other theories.
Packaging	jar
Size	146.99 KB
文件	pom jar
网址	https://philipp.ruemmer.org/princess.shtml
发布时间	2023-04-04 18:09

dependencies

Group	Artifact	Version
org.scala-lang	scala-library	2.13.10

developers

p_ruemmer	Philipp Ruemmer
zafer.esen	Zafer Esen
angelo.brillout	Angelo Brillout
peter.backeman	Peter Backeman
peter.baumgartner	Peter Baumgartner
amanda.stjerna	Amanda Stjerna

licenses

BSD-3-Clause

https://opensource.org/licenses/BSD-3-Clause