Final 2.0.0 release

logic-ng · Jul 29, 2020 · bb2bbe8 · bb2bbe8
1 parent 2bd8e21
commit bb2bbe8
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -2,7 +2,7 @@
 
 LogicNG uses [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
-## [2.0.0] - 2020-07-xx
+## [2.0.0] - 2020-07-30
 ### Added
 - DNNF data structure and compilation
 - DNNF-based model counting

diff --git a/pom.xml b/pom.xml
@@ -26,7 +26,7 @@
   <modelVersion>4.0.0</modelVersion>
   <groupId>org.logicng</groupId>
   <artifactId>logicng</artifactId>
-  <version>2.0.0-SNAPSHOT</version>
+  <version>2.0.0</version>
   <packaging>jar</packaging>
 
   <name>LogicNG</name>