4.0.0 uuverifiers princess-smt-parser_2.11 jar Princess-smt-parser https://philipp.ruemmer.org/princess.shtml 2020-11-19 GNU Lesser General Public License v2.1 or later http://www.gnu.org/licenses/old-licenses/lgpl-2.1.en.html repo Princess-smt-parser uuverifiers https://philipp.ruemmer.org/princess.shtml org.scala-lang scala-library 2.11.12