coala binary package in Ubuntu Xenial amd64
The coala tool translates an action language into a logic program
under the answer set semantics. After being grounded by lparse or
gringo, the logic program can be solved by an answer set solver such
as clasp. At the moment coala is able to translate the action
language AL, B, C, a subset of C+ and the action language CTAID. The
type of input language can be specified with a command line option.
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2015-10-22 15:20:22 UTC | Published | Ubuntu Xenial amd64 | release | universe | interpreters | Optional | 1.0.1-5 | ||
|