Translate answer set programs to first-order theorem prover language (local mirror of https://github.com/potassco/anthem for development purposes) https://potassco.org/
Patrick Lühne 427e5705c7
Fixed order of CMake options.
8 months ago
app Version bump after release 0.1.6. 8 months ago
examples Added example with simple propositions. 8 months ago
include/anthem Fixed issue with simplifying binary operations in arguments. 8 months ago
lib Updated Catch. 8 months ago
src Fixed regression in simplifying predicates with more than one argument. 8 months ago
tests Fixed regression in simplifying predicates with more than one argument. 8 months ago
.gitattributes Initial commit. 1 year ago
.gitmodules Refactored formula simplification with Clingo’s variants. 11 months ago
.travis.yml Added back support for GCC 5. 11 months ago
CHANGELOG.md Version bump after release 0.1.6. 8 months ago
CMakeLists.txt Fixed order of CMake options. 8 months ago
LICENSE.md Updated year in license file. 11 months ago
README.md Fixed incorrectly rendered Travis badges in readme file. 11 months ago

README.md

anthem GitHub Release Build Status Build Status

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

Contributors