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/
122 Commits 2 Branches 21 Tags 2.8 MiB
C++ 99.9%
Shell 0.1%
1f501c63a8
Go to file
Patrick Lühne 1f501c63a8
Added minor comment to negated comparisons.
2017-03-28 17:17:01 +02:00
app Version bump after release 0.1.2. 2017-03-23 15:38:33 +01:00
include/anthem Added minor comment to negated comparisons. 2017-03-28 17:17:01 +02:00
lib Refactored formula simplification with Clingo’s variants. 2017-03-23 00:44:10 +01:00
src Completed implementing simplification with deep variable replacement. 2017-03-23 15:02:06 +01:00
tests Added some unit tests for the simplification procedure. 2017-03-23 15:14:32 +01:00
.gitattributes
.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 Version bump after release 0.1.2. 2017-03-23 15:38:33 +01:00
CMakeLists.txt Forcing colored compiler output with Ninja. 2017-03-08 00:02:13 +01:00
LICENSE.md
README.md Dropped support for GCC 5. 2017-03-15 16:22:03 +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 [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