diff --git a/README.md b/README.md index 7a449011..c247a8fe 100644 --- a/README.md +++ b/README.md @@ -1,11 +1,11 @@ -![build](https://github.com/logic-ng/LogicNG/workflows/build/badge.svg) [![codecov](https://codecov.io/gh/logic-ng/LogicNG/branch/development/graph/badge.svg)](https://codecov.io/gh/logic-ng/LogicNG) ![License](https://img.shields.io/badge/license-Apache%202-blue.svg) [![Maven Central](https://img.shields.io/maven-central/v/org.logicng/logicng.svg?label=Maven%20Central)](https://search.maven.org/search?q=g:%22org.logicng%22%20AND%20a:%22logicng%22) +![build](https://github.com/logic-ng/LogicNG/workflows/build/badge.svg) [![codecov](https://codecov.io/gh/logic-ng/LogicNG/branch/development/graph/badge.svg)](https://codecov.io/gh/logic-ng/LogicNG) ![License](https://img.shields.io/badge/license-Apache%202-ff69b4.svg) [![Maven Central](https://img.shields.io/maven-central/v/org.logicng/logicng.svg?label=Maven%20Central)](https://search.maven.org/search?q=g:%22org.logicng%22%20AND%20a:%22logicng%22) -logo +logo ## Introduction -LogicNG is a Java Library for creating, manipulating and solving Boolean and Pseudo-Boolean formulas. It includes 100% Java implementations of popular tools +LogicNG is a Java Library for creating, manipulating and solving Boolean and Pseudo-Boolean formulas. It includes 100% Java implementations of popular tools like [MiniSAT](http://minisat.se), [Glucose](http://www.labri.fr/perso/lsimon/glucose/), [PBLib](http://tools.computational-logic.org/content/pblib.php), or [OpenWBO](http://sat.inesc-id.pt/open-wbo/). @@ -80,11 +80,9 @@ miniSat.add(formula); Tristate result = miniSat.sat(); ``` -There is a [Tutorial](https://github.com/logic-ng/LogicNG/wiki/Chapter-1%3A-Introduction-And-Problem-Modelling) for a a more in-depth introduction to LogicNG. +### Documentation and Tutorial -### Documentation - -For an extensive documentation see the [wiki](https://github.com/logic-ng/LogicNG/wiki). +For a tutorial and an extensive documentation see the [LogicNG webpage](https://www.logicng.org). ## License & Commercial Support