guide

guide copied to clipboard

Add a description of #defined statements

1

For some reason I always forget what keyword to use when I want to disable the warning messages about predicates with no head definitions. I end up searching through old...

daveraja

Documentation should say explicitly that costs in #maximize are turned negative by their compilation to #minimize statements.

1

From a modeller's perspective, who sees #maximize, this seems counter-intuitive and should be made explicit. The following section should be expanded: ``` Note that, with #maximize statements in the input,...

chenkins

update the term grammar

1

The term grammar in the guide does not completely capture the syntax of terms in gringo. It should be updated to include - identifiers and variables prefixed with `'`s, -...

rkaminsk

User Guide (2.2.0) Example 3.13

2

(This isn't a question about the guide per se so I didn't submit it there. If there is a better place to ask this, please let me know!) Example 3.13...

rgrzywinski

@wanko Could you have a look at it first ? Feel free to edit things you don't like.

MaxOstrowski

Documentation of return codes of solver tools

3

I could not find any documentation of the return codes of solver tools (clingo, gringo, clasp, clingo-dl) in the Guide. Is this an oversight or is this not documented?

peschue

Unclear how to extract all models in cautious enumeration

3

Hi. I need to find all models (satisfying assignments) of a CNF, so I run clasp with --models=0. When --enum-mode=bt or --enum-mode=record are set, then all models are found as...

olegzaikin