patrick
/
anthem
1
0
Fork 0
Code Issues 15 Releases 21 Activity

Merge branch 'develop' of github.com:potassco/anthem into develop

This commit is contained in:
Patrick Lühne 2017-03-28 17:18:37 +02:00
parent 1f501c63a8 0b689170e2
commit 1804daa961
No known key found for this signature in database
GPG Key ID: 05F3611E97A70ABF
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
README.md
View File

@ -1,4 +1,4 @@
# anthem [![GitHub Release](https://img.shields.io/github/release/potassco/anthem.svg?maxAge=3600)](https://github.com/potassco/anthem/releases) [![Build Status](https://img.shields.io/travis/potassco/anthem/master.svg?maxAge=3600&label=build (master))](https://travis-ci.org/potassco/anthem?branch=master) [![Build Status](https://img.shields.io/travis/potassco/anthem/develop.svg?maxAge=3600&label=build (develop))](https://travis-ci.org/potassco/anthem?branch=develop)
# anthem [![GitHub Release](https://img.shields.io/github/release/potassco/anthem.svg?maxAge=3600)](https://github.com/potassco/anthem/releases) [![Build Status](https://img.shields.io/travis/potassco/anthem/master.svg?maxAge=3600&label=build%20%28master%29)](https://travis-ci.org/potassco/anthem?branch=master) [![Build Status](https://img.shields.io/travis/potassco/anthem/develop.svg?maxAge=3600&label=build%20%28develop%29)](https://travis-ci.org/potassco/anthem?branch=develop)
> Translate answer set programs to first-order theorem prover language
@ -9,9 +9,11 @@
## Usage
```bash
$ anthem [options] file...
$ anthem [--simplify] file...
```
With the option `--simplify`, output formulas are simplified by applying several basic transformation rules.
## Building
`anthem` requires [CMake](https://cmake.org/) and [Boost](http://www.boost.org/) for building.