https://github.com/potassco/anthem

A translator between answer set programs and first-order logic
https://github.com/potassco/anthem

asp first-order-logic theorem-proving verification

Last synced: about 2 months ago
JSON representation

A translator between answer set programs and first-order logic

• Host: GitHub
• URL: https://github.com/potassco/anthem
• Owner: potassco
• License: mit
• Created: 2023-02-08T15:43:11.000Z (almost 2 years ago)
• Default Branch: master
• Last Pushed: 2024-11-13T17:03:34.000Z (2 months ago)
• Last Synced: 2024-11-13T18:19:19.775Z (2 months ago)
• Language: Rust
• Size: 470 KB
• Stars: 0
• Watchers: 4
• Forks: 1
• Open Issues: 22
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

• awesome-rust-formalized-reasoning - anthem - translate answer set programs to first-order theorem prover language. (Projects / Libraries)

README

        
# anthem

`anthem` is a command line application for translating answer set programs in the mini-gringo dialect of [clingo](https://potassco.org/clingo/) to first-order theories.

Using an automated theorem prover, these theories can then be used to verify properties of the original programs, such as strong and external equivalence.

Check out the [Manual](https://potassco.org/anthem/) to learn how to install and use `anthem`.

If you want to use `anthem` as a library to build your own application, you can do so.

Check out the [API documentation](https://docs.rs/anthem/) for the available functionalities.

## Where's anthem 1?

You're currently looking at version 2 of `anthem`, which is the latest version and the only one that is actively developed.

This is a complete reimplementation crafted by Zach Hansen and Tobias Stolzmann.

Until recently, you would have found Patrick Lühne's version 1 here, which was discontinued and therefore moved to [anthem-1](https://github.com/potassco/anthem-1).

We'd like to thank Patrick for the effort he put into his implementation and the kindness of resolving the naming conflict with us.

## License

`anthem` is distributed under the terms of the MIT license.

See [LICENSE](LICENSE) for details!

Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in `anthem` by you shall be licensed as above, without any additional terms or conditions.