patrick
/
anthem
1
0
Fork 0
Code Issues 15 Releases 21 Activity
Translate answer set programs to first-order theorem prover language (local mirror of https://github.com/potassco/anthem for development purposes) https://potassco.org/
51 Commits 2 Branches 21 Tags 2.8 MiB
C++ 99.9%
Shell 0.1%
Go to file
Patrick Lühne b15212cb55
Added unit tests for strings. 		2016-11-24 15:58:59 +01:00
app Added command-line option to control color output. 2016-11-24 15:01:37 +01:00
include/anthem Added unit test to check whether escaped user variable names are correctly escaped. 2016-11-24 15:38:55 +01:00
lib Initial commit. 2016-11-21 17:53:46 +01:00
src Fixed incorrect output of #sup and added unit test. 2016-11-24 15:51:25 +01:00
tests Added unit tests for strings. 2016-11-24 15:58:59 +01:00
.gitattributes Initial commit. 2016-11-21 17:53:46 +01:00
.gitmodules Initial commit. 2016-11-21 17:53:46 +01:00
.travis.yml Initial commit. 2016-11-21 17:53:46 +01:00
CMakeLists.txt Initial commit. 2016-11-21 17:53:46 +01:00
LICENSE.md Initial commit. 2016-11-21 17:53:46 +01:00
README.md Fixed incorrect order of commands in building instructions. 2016-11-23 12:23:11 +01:00

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 [files] [options]

Building

anthem is built with cmake and requires a C++14 compiler (preferrably 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