4.0.0 org.ow2.sat4j org.ow2.sat4j.pom 2.3.6-SNAPSHOT org.ow2.sat4j.scala 1.0-SNAPSHOT SAT4J scala api SAT4j Scala API 2012 Eclipse Public License 1.0 http://www.eclipse.org/org/documents/epl-v10.php Manual GNU Lesser GPL 2.1 http://www.gnu.org/licenses/old-licenses/lgpl-2.1.html manual 1.6 1.6 UTF-8 2.10.2 scala-tools.org Scala-Tools Maven2 Repository http://scala-tools.org/repo-releases scala-tools.org Scala-Tools Maven2 Repository http://scala-tools.org/repo-releases org.scala-lang scala-library ${scala.version} org.ow2.sat4j org.ow2.sat4j.core 2.3.6-SNAPSHOT junit junit 4.8.1 test org.scalacheck scalacheck_2.10 1.10.1 test org.specs2 specs2_2.10 2.1 test src/main/scala src/test/scala org.scala-tools maven-scala-plugin 2.15.2 compile testCompile **/Flattener.scala -make:transitive -dependencyfile ${project.build.directory}/.scala_dependencies org.apache.maven.plugins maven-surefire-plugin 2.6 false true **/*Test.* **/*Suite.* org.eclipse.m2e lifecycle-mapping 1.0.0 org.scala-tools maven-scala-plugin [2.15.2,) testCompile compile