guide
所属分类:开发工具
开发工具:TeX
文件大小:0KB
下载次数:0
上传日期:2023-07-13 05:44:14
上 传 者:
sh-1993
说明: 介绍我们的答案集编程工具,重点是gringo、clinco和chip。,
(An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.,)
文件列表:
.latexmkrc (517, 2023-07-12)
CC-88x31.png (1624, 2023-07-12)
LICENSE.md (18500, 2023-07-12)
Makefile (126, 2023-07-12)
abstract.tex (1103, 2023-07-12)
background.tex (69, 2023-07-12)
by-sa.pdf (6593, 2023-07-12)
comments.sty (7395, 2023-07-12)
configuration.tex (8786, 2023-07-12)
constraint.tex (4186, 2023-07-12)
errors.tex (13639, 2023-07-12)
examples.tex (22914, 2023-07-12)
examples/ (0, 2023-07-12)
examples/aggr.lp (899, 2023-07-12)
examples/arithc.lp (329, 2023-07-12)
examples/arithf.lp (525, 2023-07-12)
examples/base.lp (173, 2023-07-12)
examples/basic.lp (52, 2023-07-12)
examples/bird.lp (61, 2023-07-12)
examples/blocks-heuristic.lp (518, 2023-07-12)
examples/blocks.lp (527, 2023-07-12)
examples/bool.lp (79, 2023-07-12)
examples/bw.lp (248, 2023-07-12)
examples/bw_ins.lp (170, 2023-07-12)
examples/c1.lp (19, 2023-07-12)
examples/color.lp (114, 2023-07-12)
examples/cond.lp (218, 2023-07-12)
examples/const.lp (42, 2023-07-12)
examples/costs.lp (245, 2023-07-12)
examples/define.lp (146, 2023-07-12)
examples/dl1.lp (30, 2023-07-12)
examples/dl2.lp (49, 2023-07-12)
examples/dl3.lp (44, 2023-07-12)
examples/dynamic.lp (160, 2023-07-12)
examples/ext.lp (61, 2023-07-12)
... ...
# The Potassco Guide
The Potassco guide provides an introduction to the Answer Set Programming tools gringo, clasp, and clingo, developed at the University of Potsdam.
This guide, for one, aims at enabling ASP novices to make use of the aforementioned tools.
For another, it provides a reference of the tools' features that ASP adepts might be tempted to exploit.
## Building
Before building this paper, the following packages need to be installed:
- [latexmk](https://github.com/potassco/guide/blob/master/see [installation instructions][install])
A [Makefile](https://github.com/potassco/guide/blob/master/Makefile) is provided to build the paper:
```sh
$ make
```
[install]: https://latextools.readthedocs.io/en/latest/install/
[latexmk]: https://ctan.org/pkg/latexmk
近期下载者:
相关文件:
收藏者: