Search results

Building clingcon for Android/Termux

Status: Open.

#112 In potassco/clingcon;

· mbalduccini opened on Mar 8, 2025

assumptions and fs tests fail on macOS PPC

Status: Open.

#97 In potassco/clingcon;

· barracuda156 opened on Dec 28, 2022

Are priorities on minimize directives no longer supported?

feature request

Status: Open.

#96 In potassco/clingcon;

· adam-lally opened on Nov 2, 2022

Program with equality in the body does not terminate

question

Status: Open.

#95 In potassco/clingcon;

· wanko opened on Oct 25, 2022

Improve propagation of non-linear constraints

enhancement

Status: Open.

#89 In potassco/clingcon;

· rkaminsk opened on Feb 5, 2022

Automatically disable enumerator when optimizing

enhancement

Status: Open.

#88 In potassco/clingcon;

· rkaminsk opened on Feb 5, 2022

Warn about unconstrained integer variables

enhancement

good first issueGood for newcomersGood for newcomers

Status: Open.

#80 In potassco/clingcon;

· MaxOstrowski opened on Jun 4, 2021

Auto translate PB constraints to clauses

enhancement

Status: Open.

#79 In potassco/clingcon;

· MaxOstrowski opened on Jun 3, 2021

opt-mode

enhancement

Status: Open.

#78 In potassco/clingcon;

· MaxOstrowski opened on Jun 3, 2021

Create pytest for __theory functions

enhancement

good first issueGood for newcomersGood for newcomers

Status: Open.

#71 In potassco/clingcon;

· MaxOstrowski opened on May 18, 2021

Stearing Optimization

enhancement

question

Status: Open.

#65 In potassco/clingcon;

· MaxOstrowski opened on May 11, 2021

clingcon is twice as fast with <code>--single-shot</code>

enhancement

Status: Open.

#57 In potassco/clingcon;

· MaxOstrowski opened on Mar 9, 2021