toutes les options
wheezy  ] [  jessie  ] [  sid  ]
[ Paquet source : coala  ]

Paquet : coala (1.0.1-5)

Liens pour coala

Screenshot

Ressources Debian :

Télécharger le paquet source coala :

Responsables :

Ressources externes :

Paquets similaires :

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.

Autres paquets associés à coala

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger coala

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
armel 245,1 ko768,0 ko [liste des fichiers]