Translate answer set programs to first-order theorem prover language (local mirror of https://github.com/potassco/anthem for development purposes) https://potassco.org/
Go to file
2018-05-04 17:24:36 +02:00
.ci Add missing dependency to Ubuntu image 2018-04-10 22:29:55 +02:00
app Version bump after release 0.1.9 2018-05-04 17:24:36 +02:00
examples Update examples 2018-04-29 22:39:44 +02:00
include/anthem Fix precedence of interval operator 2018-05-04 17:06:28 +02:00
lib Update cxxopts to 2.1.0+1+gcc4914f 2018-04-13 14:03:30 +02:00
src Fix handling of rules with multielement head 2018-05-04 15:13:36 +02:00
tests Fix precedence of interval operator 2018-05-04 17:06:28 +02:00
.gitattributes Initial commit. 2016-11-21 17:53:46 +01:00
.gitmodules Drop Boost dependency 2018-03-25 17:24:06 +02:00
.travis.yml Add clang to Travis configurations 2018-03-24 18:53:51 +01:00
CHANGELOG.md Version bump after release 0.1.9 2018-05-04 17:24:36 +02:00
CMakeLists.txt Switch to C++17 2018-03-24 16:09:52 +01:00
LICENSE.md Update copyright year in license file 2018-04-08 20:35:03 +02:00
README.md Document new default options in readme 2018-05-04 17:06:28 +02:00

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 [--no-complete] [--no-simplify] [--no-detect-integers] file...

By default, anthem performs Clarks completion on the translated formulas, detects which variables are integer, and simplifies the output by applying several basic transformation rules.

These processing steps can be turned off with the options --no-complete, --no-simplify, and --no-detect-integers.

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

Contributors