4.0.0 uuverifiers horn-concurrency_2.11 jar Horn-Concurrency https://github.com/uuverifiers/horn-concurrency nightly-SNAPSHOT BSD License 2.0 https://github.com/uuverifiers/eldarica/blob/master/LICENSE repo Horn-Concurrency uuverifiers https://github.com/uuverifiers/horn-concurrency org.scala-lang scala-library 2.11.12 org.scalatest scalatest_2.11 3.1.0 test uuverifiers eldarica_2.11 nightly-SNAPSHOT net.sf.squirrel-sql.thirdparty-non-maven java-cup uuverifiers uuverifiers http://logicrunch.research.it.uu.se/maven/ default