patrick

anthem

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

Patrick Lühne 7bf5d3867d Minor clarification on side effects of a function.		2017-06-05 00:19:43 +02:00
app	Refactored logging interface.	2017-05-30 17:19:26 +02:00
include/anthem	Extended AST visitors with optional return type.	2017-06-04 21:59:19 +02:00
lib	Updated Catch.	2017-05-04 12:45:39 +02:00
src	Minor clarification on side effects of a function.	2017-06-05 00:19:43 +02:00
tests	Added another simplification step after completion.	2017-06-04 20:55:24 +02:00
.gitattributes	Initial commit.	2016-11-21 17:53:46 +01:00
.gitmodules	Refactored formula simplification with Clingo’s variants.	2017-03-23 00:44:10 +01:00
.travis.yml	Added back support for GCC 5.	2017-03-23 01:06:44 +01:00
CHANGELOG.md	Added missing error message when input file does not exist.	2017-06-01 03:29:09 +02:00
CMakeLists.txt	Forcing colored compiler output with Ninja.	2017-03-08 00:02:13 +01:00
LICENSE.md	Updated year in license file.	2017-03-30 00:19:49 +02:00
README.md	Fixed incorrectly rendered Travis badges in readme file.	2017-03-23 18:13:46 +01:00

README.md

anthem

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

Patrick Lühne