diff --git a/CHANGELOG.md b/CHANGELOG.md index d22fdff2..eeef858c 100644 --- 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 index 45d07ec5..53e879f0 100644 --- a/pom.xml +++ b/pom.xml @@ -26,7 +26,7 @@ 4.0.0 org.logicng logicng - 2.0.0-SNAPSHOT + 2.0.0 jar LogicNG