Merge branch 'development'

README.md

@@ -1,4 +1,4 @@
-[![wercker status](https://app.wercker.com/status/24c4765f3a0d79520ad80a1e4c20cfa2/s/master "wercker status")](https://app.wercker.com/project/bykey/24c4765f3a0d79520ad80a1e4c20cfa2) [![Coverage Status](https://coveralls.io/repos/logic-ng/LogicNG/badge.svg?branch=master&service=github)](https://coveralls.io/github/logic-ng/LogicNG?branch=master) ![License](https://img.shields.io/badge/license-Apache%202-blue.svg) ![Version](https://img.shields.io/badge/version-1.3.1-ff69b4.svg)
+[![wercker status](https://app.wercker.com/status/24c4765f3a0d79520ad80a1e4c20cfa2/s/master "wercker status")](https://app.wercker.com/project/bykey/24c4765f3a0d79520ad80a1e4c20cfa2) [![Coverage Status](https://coveralls.io/repos/logic-ng/LogicNG/badge.svg?branch=master&service=github)](https://coveralls.io/github/logic-ng/LogicNG?branch=master) ![License](https://img.shields.io/badge/license-Apache%202-blue.svg) ![Version](https://img.shields.io/badge/version-1.4.0-ff69b4.svg)
 
 <img src="https://github.com/logic-ng/LogicNG/blob/master/doc/logo/logo_big.png" alt="logo" width="300">
 
@@ -19,7 +19,7 @@ LogicNG is released in the Maven Central Repository.  To include it just add
 <dependency>
   <groupId>org.logicng</groupId>
   <artifactId>logicng</artifactId>
-  <version>1.3.1</version>
+  <version>1.4.0</version>
 </dependency>
 ```
 to you Maven POM.
@@ -60,6 +60,18 @@ The library is released under the Apache License and therefore is free to use in
 
 ## Changelog
 
+### Version 1.4.0 (Release June 2018)
+* BDD package (based on Buddy) for creating, manipulating, and writing BDDs
+  * Creation of BDDs from LogicNG formulas
+  * CNF, DNF transformation of BDDs
+  * Restriction, existential & universal quantifier elimination
+  * Model counting & enumeration
+  * Different static variable ordering heuristics (FORCE, DFS, BFS, MinMax)
+  * Writing BDDs in the GraphViz .dot format
+* Quine-McCluskey Implementation for minimizing canonical DNFs
+* New formula transformation for anonymizing formulas
+* Internal parser and IO improvements.  Variables can now start with a digit.
+
 ### Version 1.3.1 (Release January 2018)
 * Huge performance boost in the model enumeration of MiniSat
 * New formula transformation which imports formulas in another formula factory

pom.xml

@@ -26,7 +26,7 @@
   <modelVersion>4.0.0</modelVersion>
   <groupId>org.logicng</groupId>
   <artifactId>logicng</artifactId>
-  <version>1.3.1</version>
+  <version>1.4.0</version>
   <packaging>jar</packaging>
 
   <name>LogicNG</name>
@@ -43,10 +43,11 @@
   <developers>
     <developer>
       <name>Christoph Zengler</name>
-      <email>christoph@zengler.eu</email>
+      <email>christoph@logicng.org</email>
     </developer>
     <developer>
       <name>Steffen Hildebrandt</name>
+      <email>steffen@logicng.org</email>
     </developer>
     <developer>
       <name>Martin Siegmund</name>
@@ -69,9 +70,9 @@
     <sonar.exclusions>**/LogicNGPropositional*.java,**/LogicNGPseudoBoolean*.java</sonar.exclusions>
 
     <!-- Dependency Versions -->
-    <version.antlr>4.7</version.antlr>
-    <version.jacoco>0.7.9</version.jacoco>
-    <version.coveralls>4.3.0-SNAPSHOT</version.coveralls>
+    <version.antlr>4.7.1</version.antlr>
+    <version.jacoco>0.8.0</version.jacoco>
+    <version.coveralls>4.3.0</version.coveralls>
     <version.junit>4.12</version.junit>
     <version.assertj>2.8.0</version.assertj>
   </properties>
@@ -255,11 +256,4 @@
       </build>
     </profile>
   </profiles>
-
-  <distributionManagement>
-    <snapshotRepository>
-      <id>ossrh</id>
-      <url>https://oss.sonatype.org/content/repositories/snapshots</url>
-    </snapshotRepository>
-  </distributionManagement>
 </project>