Filewatcher File Search File Search
Catalog
Content Search
» » » » »

coala

translates action languages into answer set programs

Variants:
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.
Homepage:
Package version:1.0.1-5
Architecture:armhf
Distribution:Debian
Filename:coala_1.0.1-5_armhf.deb

/usr/share/doc/coala/README

coala
======

Coala translates action languages into a logic programs 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.

1. Requirements
---------------

- gcc >=3.x
- cmake >=2.4
- flex >=2.5.33
- bison++


2. Compilation
--------------

To compile coala switch into the source directory and run the foll
more»

/usr/share/man/man1/coala.1.gz

COALA(1)                                                    COALA(1)



NAME
       coala  - a versatile compiler from action languages to answer
       set programs

SYNOPSIS
       coala [options]file[number]

DESCRIPTION
       This manual page documents briefly the coala command.

       coala is a versatile compiler from action languages to answer
       set  programs. It supports different e
more»

/usr/share/man/man1/coala.bin.1.gz

COALA.BIN(1)                                            COALA.BIN(1)



NAME
       coala.bin  -  a  versatile  compiler from action languages to
       answer set programs

SYNOPSIS
       coala.bin [options]file

DESCRIPTION
       This manual page documents briefly the coala.bin command.

       coala.bin is a versatile compiler from  action  languages  to
       answer  set  programs. It suppo
more»

/usr/share/doc/coala/changelog.Debian.gz

coala (1.0.1-5) unstable; urgency=low

  * control: Setup as Debian Science project.
    - Set Maint
more»

/usr/share/doc/coala/changelog.gz

coala - Translates action languages into logic programs

version 1.0.1 (2010/11/11):
	general:
	* co
more»

/usr/share/doc/coala/copyright

Format-Specification: http://dep.debian.net/deps/dep5/
Upstream-Name: coala
Upstream-Contact: Torste
more»

Browse inside coala_1.0.1-5_armhf.deb

         [DIR]DEBIAN/ (2)  65535+ mirrors
         [DIR]usr/ (2)  65535+ mirrors

Download coala_1.0.1-5_armhf.deb

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com