all options
jessie  ] [  sid  ]
[ Source: coala  ]

Package: coala (1.0.1-5)

Links for coala


Debian Resources:

Download Source Package coala:


External Resources:

Similar packages:

translates action languages into answer set programs

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.

Tags: Role: Program

Other Packages Related to coala

  • depends
  • recommends
  • suggests
  • enhances

Download coala

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 261.8 kB880.0 kB [list of files]
armel 245.1 kB768.0 kB [list of files]
armhf 228.4 kB538.0 kB [list of files]
i386 268.6 kB868.0 kB [list of files]