Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / potassco/clingo-lpx issues and pull requests
#19 - more flexible term parsing
Pull Request -
State: closed - Opened by rkaminsk 22 days ago
#18 - Refine propagation a bit
Pull Request -
State: closed - Opened by rkaminsk over 1 year ago
#17 - Add an objective function
Pull Request -
State: closed - Opened by rkaminsk over 1 year ago
#16 - use libflint for integer/rational arithmetic
Pull Request -
State: closed - Opened by rkaminsk over 1 year ago
#15 - Feature/flint
Pull Request -
State: closed - Opened by rkaminsk over 1 year ago
#14 - Use cibuildwheel to deploy pip packages
Pull Request -
State: closed - Opened by rkaminsk about 2 years ago
#13 - update to catch 3.1
Pull Request -
State: closed - Opened by rkaminsk about 2 years ago
#12 - Jammy
Pull Request -
State: closed - Opened by rkaminsk over 2 years ago
#11 - Enabling background theories and python external functions in the same program
Issue -
State: closed - Opened by rolfmorel over 2 years ago
- 3 comments
Labels: question
#10 - Conda packages
Issue -
State: closed - Opened by rkaminsk almost 3 years ago
#9 - Add an objective function
Issue -
State: closed - Opened by rkaminsk almost 3 years ago
#8 - Delay adding undecided constraints to the tableau
Issue -
State: open - Opened by rkaminsk almost 3 years ago
Labels: enhancement
#7 - Add a C and Python API
Pull Request -
State: closed - Opened by rkaminsk almost 3 years ago
#6 - Loadable propagator for Clingo via Python API
Issue -
State: closed - Opened by rolfmorel about 3 years ago
- 3 comments
Labels: enhancement
#5 - Deploy PPA packages
Pull Request -
State: closed - Opened by rkaminsk over 3 years ago
#4 - Feature/strict
Pull Request -
State: closed - Opened by rkaminsk almost 4 years ago
#3 - Datastructure for sparse matrix
Issue -
State: closed - Opened by rkaminsk almost 4 years ago
Labels: enhancement
#2 - Bound propagation
Issue -
State: open - Opened by rkaminsk almost 4 years ago
Labels: enhancement
#1 - Faster backtracking
Issue -
State: closed - Opened by rkaminsk almost 4 years ago
Labels: enhancement