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

36 lines
1.5 KiB
Markdown
Raw 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
Describe --complete option in readme The readme was missing information on the --complete option. This adds a brief mention of Clark’s completion to the readme.
2018-04-11 23:21:56 +02:00
$ anthem [--complete] [--simplify] file...
Initial commit.
2016-11-21 17:51:14 +01:00
```
Describe --complete option in readme The readme was missing information on the --complete option. This adds a brief mention of Clark’s completion to the readme.
2018-04-11 23:21:56 +02:00
`--complete` instructs `anthem` to perform Clark’s completion on the translated formulas.
With the option `--simplify`, the output formulas are simplified by applying several basic transformation rules.
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)
Reference in New Issue Copy Permalink