patrick
/
anthem
1
0
Fork 0
Code Issues 15 Releases 21 Activity
anthem/README.md

37 lines
1.6 KiB
Markdown
Raw Permalink Normal View History

Fixed incorrectly rendered Travis badges in readme file.
2017-03-23 18:13:46 +01:00
# anthem [![GitHub Release](https://img.shields.io/github/release/potassco/anthem.svg?maxAge=3600)](https://github.com/potassco/anthem/releases) [![Build Status](https://img.shields.io/travis/potassco/anthem/master.svg?maxAge=3600&label=build%20%28master%29)](https://travis-ci.org/potassco/anthem?branch=master) [![Build Status](https://img.shields.io/travis/potassco/anthem/develop.svg?maxAge=3600&label=build%20%28develop%29)](https://travis-ci.org/potassco/anthem?branch=develop)
Initial commit.
2016-11-21 17:51:14 +01:00
> Translate answer set programs to first-order theorem prover language
## Overview
`anthem` translates ASP programs (in the input language of [`clingo`](https://github.com/potassco/clingo)) to the language of first-order theorem provers such as [Prover9](https://www.cs.unm.edu/~mccune/mace4/).
## Usage
```bash
Document new default options in readme By default, completion, simplification, and integer variable detection are now turned on by default. This updates the readme accordingly.
2018-05-04 16:09:04 +02:00
$ anthem [--no-complete] [--no-simplify] [--no-detect-integers] file...
Initial commit.
2016-11-21 17:51:14 +01:00
```
Document new default options in readme By default, completion, simplification, and integer variable detection are now turned on by default. This updates the readme accordingly.
2018-05-04 16:09:04 +02:00
By default, `anthem` performs Clark’s completion on the translated formulas, detects which variables are integer, and simplifies the output by applying several basic transformation rules.
These processing steps can be turned off with the options `--no-complete`, `--no-simplify`, and `--no-detect-integers`.
Updated readme file with note on new --simplify option.
2017-03-23 18:09:48 +01:00
Initial commit.
2016-11-21 17:51:14 +01:00
## Building
Drop Boost dependency Boost was only used for program option parsing. To avoid this huge dependency, this commit replaces boost::program_options with cxxopts, a header-only library with the same functionality. cxxopts is added as a submodule, and Boost is removed from the dependencies in the code and Travis configuration.
2018-03-25 16:59:15 +02:00
`anthem` requires [CMake](https://cmake.org/) for building.
Switch to C++17 With C++17, optionals, an experimental language feature, were moved to the “std” namespace. This makes C++17 mandatory and drops the now obsolete “experimental” namespace.
2018-03-22 17:20:54 +01:00
After installing the dependencies, `anthem` is built with a C++17 compiler (GCC ≥ 7.3 or clang ≥ 5.0).
Initial commit.
2016-11-21 17:51:14 +01:00
```bash
$ git clone https://github.com/potassco/anthem.git
$ cd anthem
Fixed incorrect order of commands in building instructions.
2016-11-23 12:23:11 +01:00
$ git submodule update --init --recursive
Initial commit.
2016-11-21 17:51:14 +01:00
$ mkdir -p build/release
$ cd build/release
$ cmake ../.. -DCMAKE_BUILD_TYPE=Release
$ make
```
## Contributors
* [Patrick Lühne](https://www.luehne.de)