Package: coala (1.0.1-5 and others)

[ Source: coala  ]

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

• dep: libc0.1 (>= 2.3) [kfreebsd-amd64, kfreebsd-i386]

  Embedded GNU C Library: Shared libraries
  also a virtual package provided by libc0.1-udeb

• dep: libc0.3 (>= 2.2.6) [hurd-i386]

  Embedded GNU C Library: Shared libraries
  also a virtual package provided by libc0.3-udeb

• dep: libc6 (>= 2.1.3) [i386, m68k, powerpc, powerpcspe, s390]

  Embedded GNU C Library: Shared libraries
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.11) [hppa]

  dep: libc6 (>= 2.13) [s390x, sh4]

  dep: libc6 (>= 2.2) [mips, mipsel, sparc64]

  dep: libc6 (>= 2.2.5) [amd64]

  dep: libc6 (>= 2.4) [armel, armhf]

  dep: libc6 (>= 2.6) [sparc]

• dep: libc6.1 (>= 2.1.3) [alpha]

  Embedded GNU C Library: Shared libraries
  also a virtual package provided by libc6.1-udeb

  dep: libc6.1 (>= 2.2) [ia64]

• dep: libgcc1 [powerpcspe]

  GCC support library

  dep: libgcc1 (>= 1:4.1.1) [not armel, armhf, hppa, hurd-i386, m68k, powerpcspe]

  dep: libgcc1 (>= 1:4.4.0) [armel, armhf]

  dep: libgcc1 (>= 4.2.1) [hurd-i386]

• dep: libgcc2 (>= 4.2.1) [m68k]

  GCC support library

• dep: libgcc4 (>= 4.1.1) [hppa]

  GCC support library

• dep: libstdc++6 [powerpcspe]

  GNU Standard C++ Library v3

  dep: libstdc++6 (>= 4.4.0) [alpha, hppa]

  dep: libstdc++6 (>= 4.6) [not alpha, hppa, powerpcspe]

• dep: libunwind7 [ia64]

  A library to determine the call-chain of a program - runtime

• dep: python

  interactive high-level object-oriented language (default version)

• rec: clasp

  conflict-driven nogood learning answer set solver

• rec: gringo

  grounding tools for (disjunctive) logic programs

Download coala

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	1.0.1-5	270.8 kB	968.0 kB	[list of files]
amd64	1.0.1-5	261.8 kB	880.0 kB	[list of files]
armel	1.0.1-5	245.1 kB	768.0 kB	[list of files]
armhf	1.0.1-5	228.4 kB	538.0 kB	[list of files]
hppa (unofficial port)	1.0.1-3	261.1 kB	804.0 kB	[list of files]
hurd-i386	1.0.1-5+b1	245.7 kB	650.0 kB	[list of files]
i386	1.0.1-5	268.6 kB	868.0 kB	[list of files]
ia64	1.0.1-5	352.4 kB	1,984.0 kB	[list of files]
kfreebsd-amd64	1.0.1-5	241.3 kB	714.0 kB	[list of files]
kfreebsd-i386	1.0.1-5	245.6 kB	714.0 kB	[list of files]
m68k (unofficial port)	1.0.1-5	233.4 kB	694.0 kB	[list of files]
mips	1.0.1-5	240.9 kB	892.0 kB	[list of files]
mipsel	1.0.1-5	239.9 kB	892.0 kB	[list of files]
powerpc	1.0.1-5	263.0 kB	876.0 kB	[list of files]
powerpcspe (unofficial port)	1.0.1-5	247.3 kB	796.0 kB	[list of files]
s390	1.0.1-5	257.7 kB	872.0 kB	[list of files]
s390x	1.0.1-5	282.4 kB	798.0 kB	[list of files]
sh4 (unofficial port)	1.0.1-5	282.6 kB	932.0 kB	[list of files]
sparc	1.0.1-5	247.0 kB	864.0 kB	[list of files]
sparc64 (unofficial port)	1.0.1-5	249.9 kB	1,016.0 kB	[list of files]