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