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
2017-03-15 17:08:40 +01:00
app Version bump after release 0.1.1. 2017-03-06 18:09:48 +01:00
include/anthem Fixed compiler error with GCC. 2017-03-15 17:08:40 +01:00
lib Updated MapBox variant. 2017-03-13 15:20:08 +01:00
src Implemented explicit syntax tree representation for first-order formulas. 2017-03-15 16:00:43 +01:00
tests Added back support for function symbols. 2017-03-15 17:01:09 +01:00
.gitattributes Initial commit. 2016-11-21 17:53:46 +01:00
.gitmodules Added MapBox variant library as submodule. 2017-03-07 23:51:58 +01:00
.travis.yml Dropped support for GCC 5. 2017-03-15 16:22:03 +01:00
CHANGELOG.md Updated change log with new explicit formula representation. 2017-03-15 16:32:26 +01:00
CMakeLists.txt Forcing colored compiler output with Ninja. 2017-03-08 00:02:13 +01:00
LICENSE.md Initial commit. 2016-11-21 17:53:46 +01:00
README.md Dropped support for GCC 5. 2017-03-15 16:22:03 +01: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 [options] file...

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