Patrick Lühne
7b6729acaa
For some reason, Bison is not implicitly installed along with the other dependencies in the Ubuntu 18.04 image used for continuous integration. This adds Bison explicitly.
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 for building.
After installing the dependencies, anthem is built with a C++17 compiler (GCC ≥ 7.3 or clang ≥ 5.0).
$ 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