Princess princess_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	5.49 MB
文件	pom jar
网址	https://philipp.ruemmer.org/princess.shtml
发布时间	2024-01-12 15:55

dependencies

Group	Artifact	Version
org.scala-lang	scala-library	2.13.10
io.github.uuverifiers	princess-parser_2.13	2024-01-12
io.github.uuverifiers	princess-smt-parser_2.13	2024-01-12
org.scala-lang.modules	scala-parser-combinators_2.13	1.1.2
net.sf.squirrel-sql.thirdparty-non-maven	java-cup	0.11a

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