4.0.0 ch.epfl.lara cafebabe_2.12 jar Cafebabe https://github.com/psuter/cafebabe 1.2 Cafebabe License https://github.com/psuter/cafebabe/blob/master/LICENSE repo Cafebabe ch.epfl.lara https://github.com/psuter/cafebabe git@github.com:psuter/cafebabe.git scm:git:git@github.com:psuter/cafebabe.git epfl-lara EPFL Lab for Automated Reasoning and Analysis http://lara.epfl.ch psuter Philippe Suter https://github.com/psuter org.scala-lang scala-library 2.12.1 org.scalatest scalatest_2.12 3.0.1 test