Translate answer set programs to first-order theorem prover language (local mirror of https://github.com/potassco/anthem for development purposes)
https://potassco.org/
| app | ||
| examples | ||
| include/anthem | ||
| lib | ||
| src | ||
| tests | ||
| .gitattributes | ||
| .gitmodules | ||
| .travis.yml | ||
| CHANGELOG.md | ||
| CMakeLists.txt | ||
| LICENSE.md | ||
| README.md | ||
anthem 
Translate answer set programs to first-order theorem prover language
Overview
anthem translates ASP programs (in the input language of clingo) to the language of first-order theorem provers such as Prover9.
Usage
$ anthem [--simplify] file...
With the option --simplify, output formulas are simplified by applying several basic transformation rules.
Building
anthem requires CMake and Boost for building.
After installing the dependencies, anthem is built with a C++14 compiler (GCC ≥ 6.1 or clang ≥ 3.8).
$ git clone https://github.com/potassco/anthem.git
$ cd anthem
$ git submodule update --init --recursive
$ mkdir -p build/release
$ cd build/release
$ cmake ../.. -DCMAKE_BUILD_TYPE=Release
$ make