Translate answer set programs to first-order theorem prover language (local mirror of https://github.com/potassco/anthem for development purposes) https://potassco.org/
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Patrick Lühne e0aa3497ee
Version bump after release 0.1.9
3 years ago
.ci Add missing dependency to Ubuntu image 4 years ago
app Version bump after release 0.1.9 3 years ago
examples Update examples 3 years ago
include/anthem Fix precedence of interval operator 3 years ago
lib Update cxxopts to 2.1.0+1+gcc4914f 4 years ago
src Fix handling of rules with multielement head 3 years ago
tests Fix precedence of interval operator 3 years ago
.gitattributes Initial commit. 5 years ago
.gitmodules Drop Boost dependency 4 years ago
.travis.yml Add clang to Travis configurations 4 years ago
CHANGELOG.md Version bump after release 0.1.9 3 years ago
CMakeLists.txt Switch to C++17 4 years ago
LICENSE.md Update copyright year in license file 4 years ago
README.md Document new default options in readme 3 years 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 [--no-complete] [--no-simplify] [--no-detect-integers] file...

By default, anthem performs Clark’s 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