Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
czengler committed Jan 1, 2016
1 parent 0188080 commit d250736
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions README.md
Original file line number Diff line number Diff line change
@@ -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--RC1-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--RC2-ff69b4.svg)

![LogicNG](https://github.com/logic-ng/LogicNG/blob/master/doc/logo/logo_big.png)

Expand All @@ -14,7 +14,7 @@ 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 1. The API is considered stable but some testing and documentation has to be finished for a final version 1.0 in January 2016.
The current release is declared as 1.0 Release Candidate 2. The API is considered stable but some testing and documentation has to be finished for a final version 1.0 in January 2016.

## Getting Started
The following code creates the Boolean Formula *A and not (B or not C)* programatically:
Expand Down

0 comments on commit d250736

Please sign in to comment.