potassco/clingo-dl issues and pull requests

#74 - Fix cmake examples

Pull Request - State: closed - Opened by marcbutler about 2 months ago

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

Pull Request - State: closed - Opened by dependabot[bot] 3 months ago - 1 comment
Labels: dependencies

#72 - Wrong link to Potassco Labs page

Issue - State: closed - Opened by nrueh about 1 year ago

#71 - add dl-specific decision heuristic

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

#70 - single source shortest path with clingo

Issue - State: closed - Opened by Jessicaleone almost 2 years ago - 10 comments

#69 - New X < Y < Z feature fails

Issue - State: closed - Opened by MaxOstrowski about 2 years ago - 1 comment

#68 - Cibuildwheel

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

#67 - enable aspif parsing

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

#66 - deploy packages for Ubuntu 22.04

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

#65 - add option to shift and fix zero adjustment

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

#64 - Implement propagation of bounds through a "zero" node

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

#63 - Add option to support founded constraints.

Issue - State: closed - Opened by rkaminsk about 3 years ago - 6 comments
Labels: enhancement

#62 - Add cheaper bound propagation

Issue - State: closed - Opened by rkaminsk about 3 years ago - 1 comment
Labels: enhancement

#61 - Refine propagation algorithm.

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

#60 - Refactor clingo-dl

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

#59 - Fix/output

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

#58 - Auto-generate deploy scripts from deploy.yml

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

#57 - Call `Theory.on_model` in python library.

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

#56 - #include "XXX". not checking relative directory

Issue - State: closed - Opened by daveraja over 3 years ago - 1 comment

#55 - Error using --text

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

#54 - Feature/pip

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

#53 - Feature/windowsfix

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

#52 - changed interface to use Clingo::ASTv2

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

#51 - &show_assignmnt currently not working

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

#50 - Free Propagation

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

#49 - Feature/minimization

Pull Request - State: closed - Opened by MaxOstrowski about 4 years ago - 8 comments
Labels: enhancement

#48 - fixed minimization parsing bug #47

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

#47 - Optimization is broken in wip

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

#46 - fixed duplication in #45

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

#45 - non-strict inequality

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

#44 - updated clingo, fixed action test

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

#43 - fixed theory tuple bug #42

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

#42 - Invalid term cast error in dev build on Anaconda

Issue - State: closed - Opened by daveraja over 4 years ago - 5 comments
Labels: bug

#41 - directly handle empty constraints

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

#40 - Normalize

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

#39 - Shift

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

#38 - Normalization

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

#37 - Normalization

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

#36 - Algorithm Improvement III

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

#35 - Feature/ci

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

#34 - added first cc computation throw

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

#33 - Algorithm Improvement II

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

#32 - added edge/variable stats

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

#31 - shorten loop

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

#30 - Feature/sortpotential

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

#29 - Interrupting clingo-dl does not work properly if a variable is minimized.

Issue - State: closed - Opened by rkaminsk over 4 years ago
Labels: bug

#28 - Calling get_bound in print_model results in undefined values when option --quiet=1 is used.

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

#27 - New Sorting heuristic

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

#26 - Algorithm Improvement

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

#25 - sort edges during propagation to skip more edges

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

#24 - avoid already satisfied clauses during weak propagation

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

#23 - Measured times seem to be of

Issue - State: closed - Opened by MaxOstrowski almost 5 years ago - 21 comments
Labels: invalid

#22 - Feature Request: add example using clingo-dl through Python API

Issue - State: closed - Opened by chenkins almost 5 years ago - 3 comments

#21 - Multishot bug

Issue - State: closed - Opened by MaxOstrowski about 5 years ago - 7 comments
Labels: bug

#20 - fixed release scripts

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

#19 - Improve --propagate-root and --propagate-budget

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

#18 - fixed simple incremental bug

Pull Request - State: closed - Opened by MaxOstrowski over 5 years ago - 6 comments

#17 - Too many frozen variables

Issue - State: closed - Opened by MaxOstrowski over 5 years ago - 10 comments
Labels: invalid, question

#16 - Statistic Output

Issue - State: closed - Opened by MaxOstrowski almost 6 years ago - 7 comments
Labels: question

#15 - added paper experiments (train scheduling)

Pull Request - State: closed - Opened by wanko almost 6 years ago

#14 - Easy Propagation

Issue - State: closed - Opened by MaxOstrowski almost 6 years ago - 1 comment
Labels: enhancement

#13 - Bug with Preprocessing

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

#12 - clingo on anaconda

Issue - State: closed - Opened by rkaminsk almost 6 years ago

#11 - Improving code

Issue - State: closed - Opened by rkaminsk almost 6 years ago - 2 comments

#10 - printing last solution with -q1,0

Issue - State: closed - Opened by wanko almost 6 years ago - 1 comment

#9 - --mode=clasp causes SegFault

Issue - State: closed - Opened by MaxOstrowski over 6 years ago - 1 comment

#8 - Faster builds with travis

Issue - State: closed - Opened by rkaminsk over 6 years ago - 7 comments

#7 - Cmake

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

#6 - Printing

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

#5 - added libclingoDL support and loading function

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

#4 - Old Comment

Issue - State: closed - Opened by MaxOstrowski about 7 years ago

#3 - Copyright Name

Issue - State: closed - Opened by MaxOstrowski about 7 years ago - 1 comment

#2 - abort in PY and C++ variant

Issue - State: closed - Opened by tortinator over 7 years ago - 1 comment
Labels: bug

#1 - Segmentation fault

Issue - State: closed - Opened by tortinator over 7 years ago - 3 comments
Labels: bug

GitHub / potassco/clingo-dl issues and pull requests