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	143.89 KB
文件	pom jar
网址	https://philipp.ruemmer.org/princess.shtml
发布时间	2021-04-12 21:39

dependencies

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

developers

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

licenses

BSD-3-Clause

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