all options
jessie  ] [  sid  ]
[ Source:  ]

Package: coala (1.0.1-5) [debports]

Links for coala

Screenshot

Debian Resources:

Download Source Package :

Not found

Maintainers:

External Resources:

Similar packages:

traduce linguaggi di azioni in programmi per insieme di risposte

Lo strumento coala traduce un linguaggio di azioni in un programma di logica sotto la semantica di insiemi di risposte. Dopo essere stato scomposto negli elementi base da lparse o gringo, il programma di logica può essere risolto da un risolutore per insieme di risposte come clasp. Attualmente coala è in grado di tradurre i linguaggi di azioni AL, B, C, un sottoinsieme di C+ e il linguaggio d'azioni CTAID. Il tipo del linguaggio di input può essere specificato con un'opzione sulla riga di comando.

Other Packages Related to coala

  • depends
  • recommends
  • suggests
  • enhances

Download coala

Download for all available architectures
Architecture Package Size Installed Size Files
arm64 (unofficial port) 185.7 kB700.0 kB [list of files]