Search results

add aspif specification

Status: Open.

#38 In potassco/guide;

· rkaminsk opened on Apr 3, 2025

Unclear how to extract all models in cautious enumeration

Status: Open.

#37 In potassco/guide;

· olegzaikin opened on Mar 26, 2024

User Guide (2.2.0) Example 3.13

enhancement

Status: Open.

#33 In potassco/guide;

· rgrzywinski opened on Nov 5, 2021

Add a description of #defined statements

enhancement

Status: Open.

#32 In potassco/guide;

· daveraja opened on Sep 15, 2021

update the term grammar

enhancement

Status: Open.

#25 In potassco/guide;

· rkaminsk opened on Oct 6, 2020

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

enhancement

Status: Open.

#24 In potassco/guide;

· chenkins opened on Mar 26, 2020

Documentation of return codes of solver tools

enhancement

Status: Open.

#18 In potassco/guide;

· peschue opened on Jan 29, 2019