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.
5 months ago
app Version bump after release 0.1.6. 5 months ago
examples Added example with simple propositions. 5 months ago
include/anthem Fixed issue with simplifying binary operations in arguments. 5 months ago
lib Updated Catch. 5 months ago
src Fixed regression in simplifying predicates with more than one argument. 5 months ago
tests Fixed regression in simplifying predicates with more than one argument. 5 months ago
.gitattributes Initial commit. 1 year ago
.gitmodules Refactored formula simplification with Clingo’s variants. 8 months ago
.travis.yml Added back support for GCC 5. 8 months ago
CHANGELOG.md Version bump after release 0.1.6. 5 months ago
CMakeLists.txt Fixed order of CMake options. 5 months ago
LICENSE.md Updated year in license file. 7 months ago
README.md Fixed incorrectly rendered Travis badges in readme file. 8 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