Princess-smt-parser princess-smt-parser_2.12

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

dependencies

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

developers

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

licenses

BSD-3-Clause

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