Issues
- 0
Wrong link to Potassco Labs page
#72 opened by nrueh - 6
Add option to support founded constraints.
#63 opened by rkaminsk - 10
single source shortest path with clingo
#70 opened by Jessicaleone - 1
New X < Y < Z feature fails
#69 opened by MaxOstrowski - 1
Add cheaper bound propagation
#62 opened by rkaminsk - 1
&show_assignmnt currently not working
#51 opened by MaxOstrowski - 4
Free Propagation
#50 opened by MaxOstrowski - 10
Algorithm Improvement
#26 opened by MaxOstrowski - 0
Refine propagation algorithm.
#61 opened by rkaminsk - 21
Measured times seem to be of
#23 opened by MaxOstrowski - 3
- 1
#include "XXX". not checking relative directory
#56 opened by daveraja - 2
Error using --text
#55 opened by MaxOstrowski - 1
Optimization is broken in wip
#47 opened by MaxOstrowski - 1
non-strict inequality
#45 opened by MaxOstrowski - 5
Invalid term cast error in dev build on Anaconda
#42 opened by daveraja - 3
Calling get_bound in print_model results in undefined values when option --quiet=1 is used.
#28 opened by rkaminsk - 0
- 33
Normalization
#38 opened by MaxOstrowski - 22
Algorithm Improvement II
#33 opened by MaxOstrowski - 2
Algorithm Improvement III
#36 opened by MaxOstrowski - 21
New Sorting heuristic
#27 opened by MaxOstrowski - 7
Multishot bug
#21 opened by MaxOstrowski - 5
- 10
Too many frozen variables
#17 opened by MaxOstrowski - 2
Improving code
#11 opened by rkaminsk - 7
Statistic Output
#16 opened by MaxOstrowski - 1
Easy Propagation
#14 opened by MaxOstrowski - 0
clingo on anaconda
#12 opened by rkaminsk - 2
Bug with Preprocessing
#13 opened by MaxOstrowski - 1
printing last solution with -q1,0
#10 opened by wanko - 7
Faster builds with travis
#8 opened by rkaminsk - 1
--mode=clasp causes SegFault
#9 opened by MaxOstrowski - 0
Old Comment
#4 opened by MaxOstrowski - 1
Copyright Name
#3 opened by MaxOstrowski - 3
Segmentation fault
#1 opened by tortinator - 1
abort in PY and C++ variant
#2 opened by tortinator