全部搜索项
jessie  ] [  sid  ]
[ 源代码:  ]

软件包:coala(1.0.1-5) [debports]

coala 的相关链接

Screenshot

Debian 的资源:

下载源码包

未找到

维护小组:

外部的资源:

相似软件包:

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.

其他与 coala 有关的软件包

  • 依赖
  • 推荐
  • 建议
  • 增强

下载 coala

下载可用于所有硬件架构的
硬件架构 软件包大小 安装后大小 文件
arm64 (非官方移植版) 185.7 kB700.0 kB [文件列表]