4.0.0 uuverifiers ostrich_2.11 jar ostrich 1.0 ostrich uuverifiers org.scala-lang scala-library 2.11.8 uuverifiers princess_2.11 2018-07-09 org.sat4j org.sat4j.core 2.3.1 org.scalacheck scalacheck_2.11 1.14.0 test uuverifiers uuverifiers http://logicrunch.research.it.uu.se/maven/ default