4.0.0 de.fosd.typechef featureexprlib_2.10 jar FeatureExprLib https://github.com/ckaestne/TypeChef 0.3.7 GNU Lesser General Public License v3.0 http://www.gnu.org/licenses/lgpl.txt repo FeatureExprLib de.fosd.typechef https://github.com/ckaestne/TypeChef org.sonatype.oss oss-parent 7 scm:git:git@github.com:ckaestne/TypeChef.git git@github.com:ckaestne/TypeChef.git ckaestne Christian Kaestner http://www.cs.cmu.edu/~ckaestne/ org.scala-lang scala-library 2.10.4 org.scoverage scalac-scoverage-runtime_2.10 1.0.0 provided org.scoverage scalac-scoverage-plugin_2.10 1.0.0 provided junit junit 4.11 test com.novocode junit-interface 0.10 test org.scalatest scalatest_2.10 2.2.1 test org.scalacheck scalacheck_2.10 1.12.0 test org.ow2.sat4j org.ow2.sat4j.core 2.3.5 de.fosd.typechef javabdd_repackaged 1.0b2