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 285fa08e5a Version bump for release 0.1.8 RC 1		2018-04-10 00:19:55 +02:00
.ci	Drop Boost dependency	2018-03-25 17:24:06 +02:00
app	Version bump for release 0.1.8 RC 1	2018-04-10 00:19:55 +02:00
examples	Iteratively apply simplification tableau rules	2018-04-08 22:24:14 +02:00
include/anthem	Add new simplification rule	2018-04-09 23:27:38 +02:00
lib	Update Catch to 2.2.2	2018-04-07 00:22:01 +02:00
src	Add new simplification rule	2018-04-09 23:48:04 +02:00
tests	Add new simplification rule	2018-04-09 23:48:04 +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 for release 0.1.8 RC 1	2018-04-10 00:19:55 +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	Drop Boost dependency	2018-03-25 17:24:06 +02: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 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

Patrick Lühne