Release Version 1.0

README.md

@@ -1,4 +1,4 @@
-[![Build Status](https://travis-ci.org/logic-ng/LogicNG.svg)](https://travis-ci.org/logic-ng/LogicNG) [![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.0--RC4-ff69b4.svg)
+[![Build Status](https://travis-ci.org/logic-ng/LogicNG.svg)](https://travis-ci.org/logic-ng/LogicNG) [![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.0-ff69b4.svg)
 
 <img src="https://github.com/logic-ng/LogicNG/blob/master/doc/logo/logo_big.png" alt="logo" width="300">
 
@@ -13,37 +13,12 @@ The most important philosophy of the library is to avoid unnecessary object crea
 
 Compared to other implementation of logic libraries on the JVM this is a huge memory and performance improvement.
 
-## Release Plan
-The current release is declared as 1.0 Release Candidate 3.  The API is considered stable but some testing and documentation has to be finished for a final version 1.0 in January 2016.
-
-## Changelog
-### RC1 → RC2
-* Cache number of nodes and number of atoms in the formulas
-* Implemented variable and literal profile functions as `FormulaFunction` instead of methods of `Formula`
-* Moved dot string generation to its writer
-* Implemented universal and existential quantifier elimination by Shannon expansion
-* Improved overall test quality and coverage
-* Some minor performance and code style improvements
-
-### RC2 → RC3
-* Removed certified UNSAT option in Glucose (this will come in a later release)
-* Improved overall test quality and coverage
-* Some minor performance and code style improvements
-
-### RC3 → RC4 (Feature Freeze)
-* Introduced a `Variable` class which is a shortcut for positive literals.  It is now possible to enforce positive literals on a type level
-* Introduced a name for formula factories to avoid name clashing for generated variables of different factories
-* Extended MiniSAT configuration with an initial phase
-* Improved CleaneLing configuration
-* Improved overall test quality and coverage
-* Some minor performance and code style improvements
-
 ## Getting Started
 The following code creates the Boolean Formula *A and not (B or not C)* programatically:
 ```java
 final FormulaFactory f = new FormulaFactory();
-final Literal a = f.literal("A");
-final Literal b = f.literal("B");
+final Variable a = f.variable("A");
+final Variable b = f.variable("B");
 final Literal notC = f.literal("C", false);
 final Formula formula = f.and(a, f.not(f.or(b, notC)));
 ```

pom.xml

@@ -26,7 +26,7 @@
   <modelVersion>4.0.0</modelVersion>
   <groupId>org.logicng</groupId>
   <artifactId>logicng</artifactId>
-  <version>1.0-RC4</version>
+  <version>1.0</version>
   <name>LogicNG</name>
   <packaging>jar</packaging>