potassco/clingcon issues and pull requests

#111 - Minor fixes.

Pull Request - State: closed - Opened by BenKaufmann about 1 month ago

#110 - Bump actions/download-artifact from 3 to 4.1.7 in /.github/workflows

Pull Request - State: open - Opened by dependabot[bot] 6 months ago
Labels: dependencies

#109 - Accept &diff in body

Issue - State: closed - Opened by susuhahnml 9 months ago - 1 comment

#108 - Issue with CMake installation on MacOS

Issue - State: closed - Opened by Dekker1 12 months ago - 2 comments

#107 - fix parsing of numbers

Pull Request - State: closed - Opened by rkaminsk about 1 year ago
Labels: bug

#106 - Term parsing bug involving exponentiation

Issue - State: closed - Opened by rkaminsk over 1 year ago
Labels: bug

#105 - Homebrew Support?

Issue - State: closed - Opened by greg-gelfond over 1 year ago - 1 comment

#104 - fix multi-shot solving

Pull Request - State: closed - Opened by rkaminsk over 1 year ago - 1 comment
Labels: bug

#103 - Answers are not enumerated with multi-shot solving

Issue - State: closed - Opened by wanko over 1 year ago

#102 - config was changed read only in clingcon_configure

Pull Request - State: closed - Opened by MaxOstrowski almost 2 years ago

#101 - Undefined symbols for architecture x86_64: "std::uncaught_exceptions()"

Issue - State: closed - Opened by barracuda156 about 2 years ago - 2 comments

#100 - catch.hpp: fix for aarch64 and powerpc

Pull Request - State: closed - Opened by barracuda156 about 2 years ago - 7 comments

#99 - Build fails on macOS aarch64 using Apple Clang: catch.hpp: error: unrecognized instruction mnemonic, did you mean: bit, cnt, hint, ins, not?

Issue - State: closed - Opened by barracuda156 about 2 years ago - 2 comments

#98 - update needed for latest conda

Issue - State: closed - Opened by dougedmunds about 2 years ago - 2 comments

#97 - assumptions and fs tests fail on macOS PPC

Issue - State: open - Opened by barracuda156 about 2 years ago - 6 comments

#96 - Are priorities on minimize directives no longer supported?

Issue - State: open - Opened by adaml-ec over 2 years ago - 2 comments
Labels: feature request

#95 - Program with equality in the body does not terminate

Issue - State: open - Opened by wanko over 2 years ago - 1 comment
Labels: question

#94 - Error in the flowshop disjoint example

Issue - State: closed - Opened by swilharm over 2 years ago - 1 comment

#93 - Switch to catch 3.1

Pull Request - State: closed - Opened by rkaminsk over 2 years ago

#92 - use cibw

Pull Request - State: closed - Opened by rkaminsk over 2 years ago

#91 - Feature/aspif

Pull Request - State: closed - Opened by rkaminsk over 2 years ago

#90 - deploy on Ubuntu 22.04

Pull Request - State: closed - Opened by rkaminsk over 2 years ago

#89 - Improve propagation of non-linear constraints

Issue - State: open - Opened by rkaminsk about 3 years ago
Labels: enhancement

#88 - Automatically disable enumerator when optimizing

Issue - State: open - Opened by rkaminsk about 3 years ago
Labels: enhancement

#87 - Add tests for optimizing with null enum

Pull Request - State: closed - Opened by rkaminsk about 3 years ago

#86 - Add support for nonlinear constraints

Pull Request - State: closed - Opened by rkaminsk about 3 years ago - 1 comment

#85 - Wrong models enumerated during optimization

Issue - State: closed - Opened by rkaminsk over 3 years ago - 22 comments
Labels: bug

#84 - --translate-opt option error with other options starting with `t`

Issue - State: closed - Opened by MaxOstrowski over 3 years ago
Labels: bug

#83 - Fix/propagate with assumptions

Pull Request - State: closed - Opened by rkaminsk over 3 years ago

#82 - fix tests

Pull Request - State: closed - Opened by rkaminsk over 3 years ago

#81 - Potential bug in multi-shot solving with initial bound and assumptions

Issue - State: closed - Opened by tlyphed over 3 years ago - 12 comments
Labels: bug

#80 - Warn about unconstrained integer variables

Issue - State: open - Opened by MaxOstrowski over 3 years ago - 1 comment
Labels: enhancement, good first issue

#79 - Auto translate PB constraints to clauses

Issue - State: open - Opened by MaxOstrowski over 3 years ago - 1 comment
Labels: enhancement

#78 - opt-mode

Issue - State: open - Opened by MaxOstrowski over 3 years ago - 8 comments
Labels: enhancement

#77 - Fix incremental minimization

Pull Request - State: closed - Opened by MaxOstrowski over 3 years ago
Labels: bug

#76 - Minimization reset on multi-shot

Issue - State: closed - Opened by MaxOstrowski over 3 years ago - 1 comment
Labels: bug

#75 - Remove double code.

Pull Request - State: closed - Opened by MaxOstrowski over 3 years ago

#74 - Unnecessary code

Issue - State: closed - Opened by MaxOstrowski over 3 years ago - 1 comment
Labels: question

#73 - Translate boolean linear constraints option

Pull Request - State: closed - Opened by MaxOstrowski almost 4 years ago - 4 comments

#72 - Fix/69

Pull Request - State: closed - Opened by MaxOstrowski almost 4 years ago - 1 comment

#71 - Create pytest for __theory functions

Issue - State: open - Opened by MaxOstrowski almost 4 years ago - 2 comments
Labels: enhancement, good first issue

#70 - Feature/minimize

Pull Request - State: closed - Opened by MaxOstrowski almost 4 years ago

#69 - Assertion on partial distinct

Issue - State: closed - Opened by MaxOstrowski almost 4 years ago - 1 comment
Labels: bug

#68 - empty minimize statements

Issue - State: closed - Opened by MaxOstrowski almost 4 years ago - 2 comments
Labels: bug

#67 - Support for --mode option in clingcon 5?

Issue - State: closed - Opened by mbalduccini almost 4 years ago - 4 comments
Labels: question

#66 - Feature/autoopt

Pull Request - State: closed - Opened by MaxOstrowski almost 4 years ago - 1 comment

#65 - Stearing Optimization

Issue - State: open - Opened by MaxOstrowski almost 4 years ago - 2 comments
Labels: enhancement, question

#64 - minimize ignored without --translate-opt=max

Issue - State: closed - Opened by mbalduccini almost 4 years ago - 3 comments
Labels: bug

#63 - Fix String symbol output

Pull Request - State: closed - Opened by MaxOstrowski almost 4 years ago - 1 comment

#62 - Add translate-clauses-total argument in options

Pull Request - State: closed - Opened by MaxOstrowski almost 4 years ago - 1 comment

#61 - Autogenerate deploy scripts from `deploy.yml`

Pull Request - State: closed - Opened by rkaminsk almost 4 years ago

#60 - Call `Theory.on_model` in pyclingcon example

Pull Request - State: closed - Opened by MaxOstrowski almost 4 years ago

#59 - ClingconTheory not considering minimize

Issue - State: closed - Opened by susuhahnml almost 4 years ago - 1 comment

#58 - Double model enumeration

Issue - State: closed - Opened by MaxOstrowski almost 4 years ago - 12 comments
Labels: bug

#57 - clingcon is twice as fast with `--single-shot`

Issue - State: open - Opened by MaxOstrowski almost 4 years ago - 3 comments
Labels: enhancement

#56 - Make translation of optimize statements dependent on literal count

Pull Request - State: closed - Opened by MaxOstrowski almost 4 years ago - 6 comments

#55 - --translate-opt for small minimize constraints per default

Issue - State: closed - Opened by MaxOstrowski almost 4 years ago
Labels: good first issue

#54 - doesn't build without python automagically

Issue - State: closed - Opened by MaxOstrowski almost 4 years ago - 1 comment
Labels: bug

#53 - Can't build on mac osx

Issue - State: closed - Opened by laurentbartholdi almost 4 years ago - 5 comments
Labels: question

#52 - Actions to deploy pip and conda packages.

Pull Request - State: closed - Opened by rkaminsk about 4 years ago

#51 - Add example for clingcon in python

Pull Request - State: closed - Opened by MaxOstrowski about 4 years ago

#50 - Update README.md

Pull Request - State: closed - Opened by MaxOstrowski about 4 years ago

#49 - Update setup.py

Pull Request - State: closed - Opened by MaxOstrowski about 4 years ago - 1 comment

#48 - Add a cffi based python module

Pull Request - State: closed - Opened by rkaminsk about 4 years ago

#47 - Optimization statement causes hang in v3.3.0

Issue - State: closed - Opened by rallentan about 4 years ago - 1 comment

#46 - Bump version of miniconda action

Pull Request - State: closed - Opened by MaxOstrowski about 4 years ago

#45 - Bounded command line options

Issue - State: closed - Opened by MaxOstrowski over 4 years ago - 3 comments
Labels: enhancement, good first issue

#44 - fix nonstrict unequal

Pull Request - State: closed - Opened by MaxOstrowski over 4 years ago - 1 comment

#43 - Bug in translation of sum constraints with != relation

Issue - State: closed - Opened by MaxOstrowski over 4 years ago - 9 comments
Labels: bug

#42 - Unfreeze Translation Literals

Issue - State: closed - Opened by MaxOstrowski over 4 years ago - 4 comments
Labels: question

#41 - fix exception include

Pull Request - State: closed - Opened by MaxOstrowski over 4 years ago

#39 - disjoint on fixed start times

Issue - State: open - Opened by MaxOstrowski over 4 years ago - 7 comments
Labels: enhancement

#38 - Overflow_error compile time

Issue - State: closed - Opened by MaxOstrowski over 4 years ago

#37 - Is it possibe to use PB constraints for linear constraints over 0/1 Variables

Issue - State: closed - Opened by MaxOstrowski over 4 years ago - 2 comments
Labels: enhancement

#36 - Atoms in constraints

Issue - State: closed - Opened by MaxOstrowski over 4 years ago - 2 comments
Labels: enhancement

#35 - &dom in body

Issue - State: open - Opened by MaxOstrowski over 4 years ago - 3 comments
Labels: enhancement

#34 - No tuples in distinct

Issue - State: closed - Opened by MaxOstrowski over 4 years ago - 5 comments

#33 - Default Options do not compute optimal model

Issue - State: closed - Opened by MaxOstrowski over 4 years ago - 13 comments
Labels: good first issue

#32 - setting optimization level does not work

Issue - State: open - Opened by sthiele over 4 years ago - 1 comment
Labels: enhancement

#31 - State tracking of constraints.

Issue - State: open - Opened by rkaminsk almost 5 years ago
Labels: enhancement

#30 - Improve translation to clauses

Issue - State: open - Opened by rkaminsk almost 5 years ago - 1 comment
Labels: enhancement

#29 - Distinct and disjoint constraints.

Issue - State: open - Opened by rkaminsk almost 5 years ago
Labels: enhancement

#28 - Non-optimal models when minimizing after optimal model.

Issue - State: closed - Opened by rkaminsk almost 5 years ago - 1 comment
Labels: enhancement

#27 - add github build and test action

Pull Request - State: closed - Opened by rkaminsk almost 5 years ago

#26 - Heuristic Modification

Issue - State: open - Opened by MaxOstrowski almost 5 years ago - 1 comment
Labels: enhancement

#25 - Evaluation new version and comparison with clingcon 3.

Issue - State: open - Opened by MaxOstrowski almost 5 years ago - 29 comments
Labels: enhancement, future

#24 - fix weird warning

Pull Request - State: closed - Opened by MaxOstrowski almost 5 years ago - 3 comments

#23 - &sum{a+b} = 0.

Issue - State: closed - Opened by MaxOstrowski about 5 years ago
Labels: abandoned

#22 - &show string mismatch

Issue - State: closed - Opened by MaxOstrowski about 5 years ago
Labels: abandoned

#21 - add more examples from example folder to runtests

Issue - State: closed - Opened by MaxOstrowski over 5 years ago
Labels: abandoned

#20 - rewrite incremental examples

Issue - State: closed - Opened by MaxOstrowski over 5 years ago
Labels: abandoned

#19 - clingcon examples/move.lp

Issue - State: closed - Opened by MaxOstrowski over 5 years ago - 2 comments
Labels: bug, abandoned