Issues

• Building clingcon for Android/Termux

  potassco/clingcon#112 · Filter by author mbalduccini opened on Mar 8, 2025

• assumptions and fs tests fail on macOS PPC

  potassco/clingcon#97 · Filter by author barracuda156 opened on Dec 28, 2022
  6

• Are priorities on minimize directives no longer supported?

  feature request
  potassco/clingcon#96 · Filter by author adam-lally opened on Nov 2, 2022
  2

• Program with equality in the body does not terminate

  question
  potassco/clingcon#95 · Filter by author wanko opened on Oct 25, 2022
  1

• Improve propagation of non-linear constraints

  enhancement
  potassco/clingcon#89 · Filter by author rkaminsk opened on Feb 5, 2022

• Automatically disable enumerator when optimizing

  enhancement
  potassco/clingcon#88 · Filter by author rkaminsk opened on Feb 5, 2022

• Warn about unconstrained integer variables

  enhancementgood first issue
  potassco/clingcon#80 · Filter by author MaxOstrowski opened on Jun 4, 2021
  1

• Auto translate PB constraints to clauses

  enhancement
  potassco/clingcon#79 · Filter by author MaxOstrowski opened on Jun 3, 2021
  1

• opt-mode

  enhancement
  potassco/clingcon#78 · Filter by author MaxOstrowski opened on Jun 3, 2021
  8

• Create pytest for __theory functions

  enhancementgood first issue
  potassco/clingcon#71 · Filter by author MaxOstrowski opened on May 18, 2021
  2

  

• Stearing Optimization

  enhancementquestion
  potassco/clingcon#65 · Filter by author MaxOstrowski opened on May 11, 2021
  2

• clingcon is twice as fast with --single-shot

  enhancement
  potassco/clingcon#57 · Filter by author MaxOstrowski opened on Mar 9, 2021
  3

  

• disjoint on fixed start times

  enhancement
  potassco/clingcon#39 · Filter by author MaxOstrowski opened on Jul 6, 2020
  7

• &dom in body

  enhancement
  potassco/clingcon#35 · Filter by author MaxOstrowski opened on Jun 10, 2020
  3

• setting optimization level does not work

  enhancement
  potassco/clingcon#32 · Filter by author sthiele opened on May 25, 2020
  1

• State tracking of constraints.

  enhancement
  potassco/clingcon#31 · Filter by author rkaminsk opened on May 6, 2020
  

• Improve translation to clauses

  enhancement
  potassco/clingcon#30 · Filter by author rkaminsk opened on May 5, 2020
  1

  

• Distinct and disjoint constraints.

  enhancement
  potassco/clingcon#29 · Filter by author rkaminsk opened on Apr 22, 2020
  

• Heuristic Modification

  enhancement
  potassco/clingcon#26 · Filter by author MaxOstrowski opened on Apr 14, 2020
  1

  

• Evaluation new version and comparison with clingcon 3.

  enhancementfuture
  potassco/clingcon#25 · Filter by author MaxOstrowski opened on Apr 7, 2020
  29