All issues

add aspif specification
#38 · rkaminsk opened on Apr 3, 2025
Documentation of return codes of solver tools
#18 · peschue opened on Jan 29, 2019
3
update the term grammar
#25 · rkaminsk opened on Oct 6, 2020
1

add aspif specification

#38

· rkaminsk opened

on Apr 3, 2025

Unclear how to extract all models in cautious enumeration

#37

· olegzaikin opened

on Mar 26, 2024

User Guide (2.2.0) Example 3.13

#33

· rgrzywinski opened

on Nov 5, 2021

Add a description of #defined statements

#32

· daveraja opened

on Sep 15, 2021

update the term grammar

#25

· rkaminsk opened

on Oct 6, 2020

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

#24

· chenkins opened

on Mar 26, 2020

Documentation of return codes of solver tools

#18

· peschue opened

on Jan 29, 2019