2017-03-23 18:13:46 +01:00
# anthem [](https://github.com/potassco/anthem/releases) [](https://travis-ci.org/potassco/anthem?branch=master) [](https://travis-ci.org/potassco/anthem?branch=develop)
2016-11-21 17:51:14 +01:00
> Translate answer set programs to first-order theorem prover language
## Overview
`anthem` translates ASP programs (in the input language of [`clingo` ](https://github.com/potassco/clingo )) to the language of first-order theorem provers such as [Prover9 ](https://www.cs.unm.edu/~mccune/mace4/ ).
## Usage
```bash
2017-03-23 18:09:48 +01:00
$ anthem [--simplify] file...
2016-11-21 17:51:14 +01:00
```
2017-03-23 18:09:48 +01:00
With the option `--simplify` , output formulas are simplified by applying several basic transformation rules.
2016-11-21 17:51:14 +01:00
## Building
2016-11-24 22:49:42 +01:00
`anthem` requires [CMake ](https://cmake.org/ ) and [Boost ](http://www.boost.org/ ) for building.
2017-03-15 16:22:03 +01:00
A fter installing the dependencies, `anthem` is built with a C++14 compiler (GCC ≥ 6.1 or clang ≥ 3.8).
2016-11-21 17:51:14 +01:00
```bash
$ git clone https://github.com/potassco/anthem.git
$ cd anthem
2016-11-23 12:23:11 +01:00
$ git submodule update --init --recursive
2016-11-21 17:51:14 +01:00
$ mkdir -p build/release
$ cd build/release
$ cmake ../.. -DCMAKE_BUILD_TYPE=Release
$ make
```
## Contributors
* [Patrick Lühne ](https://www.luehne.de )
