CPMpy/cpmpy issues and pull requests

#518 - Testing incrementality

Pull Request - State: open - Opened by IgnaceBleukx 3 days ago

#517 - Ensure value of expressions is Python int

Pull Request - State: closed - Opened by IgnaceBleukx 3 days ago

#516 - changes to linearize from our xcsp3 branch

Pull Request - State: open - Opened by Wout4 4 days ago

#515 - Safening of partial functions

Pull Request - State: open - Opened by IgnaceBleukx 18 days ago

#514 - Linearize modulo

Pull Request - State: closed - Opened by IgnaceBleukx about 1 month ago - 2 comments

#513 - cover cp.abs() using the builtin

Pull Request - State: closed - Opened by Dimosts about 1 month ago - 6 comments

#512 - Overhead in solver interface

Issue - State: open - Opened by IgnaceBleukx about 2 months ago
Labels: performance

#511 - Export model to mps/lp file

Issue - State: open - Opened by sin3000x 2 months ago

#510 - Extension to tools: MARCO and SMUS

Pull Request - State: open - Opened by IgnaceBleukx 2 months ago

#509 - Accept a sequence of variable names

Pull Request - State: closed - Opened by sin3000x 3 months ago - 3 comments

#508 - Pysat updates

Pull Request - State: closed - Opened by Wout4 3 months ago

#507 - Accept a sequence of variable names

Issue - State: closed - Opened by sin3000x 3 months ago - 2 comments

#506 - Docs improvement

Pull Request - State: closed - Opened by ThomSerg 3 months ago - 2 comments

#505 - Native solver unified access

Pull Request - State: closed - Opened by ThomSerg 3 months ago - 1 comment

#504 - Minizinc print

Pull Request - State: closed - Opened by ThomSerg 3 months ago - 1 comment

#503 - python_builtins: follow python signature

Pull Request - State: closed - Opened by tias 3 months ago - 2 comments

#502 - allow kwargs in Model.solve()

Pull Request - State: closed - Opened by tias 3 months ago

#501 - put gcs in solver init

Pull Request - State: closed - Opened by Wout4 3 months ago

#500 - Exact2

Pull Request - State: closed - Opened by IgnaceBleukx 3 months ago - 5 comments

#499 - update documentation of 'comparison' transformation

Pull Request - State: closed - Opened by tias 3 months ago

#498 - User friendly solver

Pull Request - State: closed - Opened by IgnaceBleukx 3 months ago - 1 comment
Labels: Simple to review

#497 - User-friendlyness for unknown solver

Issue - State: closed - Opened by IgnaceBleukx 3 months ago

#496 - fix uservars in minizinc

Pull Request - State: closed - Opened by Wout4 3 months ago - 3 comments

#495 - linearize objectives

Pull Request - State: open - Opened by Wout4 3 months ago - 1 comment

#494 - check if minizinc executable is installed

Pull Request - State: closed - Opened by Wout4 4 months ago
Labels: Simple to review

#493 - remove alldifferent Lists

Pull Request - State: closed - Opened by Wout4 4 months ago - 1 comment

#492 - Utility functions for NDVarArrays

Pull Request - State: closed - Opened by IgnaceBleukx 4 months ago - 3 comments

#491 - Negative table

Pull Request - State: closed - Opened by Wout4 4 months ago - 1 comment

#490 - AllDifferentListsExceptN

Pull Request - State: closed - Opened by Wout4 4 months ago - 1 comment

#489 - Nooverlap2d

Pull Request - State: open - Opened by IgnaceBleukx 4 months ago

#488 - Addingglobals channel

Pull Request - State: open - Opened by 363734 4 months ago

#487 - Fix simplify bool

Pull Request - State: closed - Opened by IgnaceBleukx 4 months ago
Labels: Simple to review

#486 - Scheduling constraints

Pull Request - State: closed - Opened by IgnaceBleukx 5 months ago

#485 - Some quick optimisations

Pull Request - State: closed - Opened by Wout4 5 months ago

#484 - int64 not json serializable

Issue - State: closed - Opened by tias 5 months ago - 4 comments

#483 - Update TEMPLATE.py

Pull Request - State: closed - Opened by IgnaceBleukx 5 months ago - 4 comments

#482 - Cardinality native for some Pysat solvers

Issue - State: open - Opened by IgnaceBleukx 5 months ago
Labels: enhancement

#481 - Parameters to Exact

Issue - State: open - Opened by IgnaceBleukx 5 months ago - 2 comments

#480 - Subcircuit Global Constraint

Pull Request - State: open - Opened by ThomSerg 5 months ago - 5 comments

#479 - Closed version of the GCC constraint

Pull Request - State: closed - Opened by IgnaceBleukx 5 months ago

#478 - Globals mdd regular

Pull Request - State: open - Opened by 363734 5 months ago - 2 comments

#477 - Lex list global constraints

Pull Request - State: closed - Opened by Dimosts 5 months ago

#476 - Among constraint

Pull Request - State: closed - Opened by IgnaceBleukx 5 months ago - 1 comment

#475 - AllDifferentLists

Pull Request - State: closed - Opened by Wout4 5 months ago - 1 comment

#474 - Nvalues except

Pull Request - State: closed - Opened by IgnaceBleukx 5 months ago

#473 - AllDiffExceptN, AllEqualExceptN

Pull Request - State: closed - Opened by Wout4 5 months ago - 11 comments

#472 - Increasing decreasing, adding tests + minizinc

Pull Request - State: closed - Opened by Dimosts 5 months ago
Labels: Simple to review

#471 - Increasing and decreasing global constraints

Pull Request - State: closed - Opened by Dimosts 5 months ago - 1 comment

#470 - remove type restriction for InDomain

Pull Request - State: closed - Opened by Wout4 5 months ago

#469 - ShortTable Global

Pull Request - State: open - Opened by Wout4 5 months ago - 9 comments

#468 - Negative Boolvars in objective not supported for linear solvers

Issue - State: open - Opened by IgnaceBleukx 5 months ago

#467 - wrap_brackets maximum recursion depth

Issue - State: closed - Opened by ThomSerg 5 months ago - 6 comments

#466 - Pycsp3 parser

Pull Request - State: closed - Opened by Wout4 5 months ago - 1 comment

#465 - Fix for AllDifferentExcept0

Pull Request - State: closed - Opened by IgnaceBleukx 5 months ago - 1 comment
Labels: Simple to review

#464 - Extending automatic teststuite

Pull Request - State: closed - Opened by IgnaceBleukx 5 months ago - 15 comments
Labels: blocked

#463 - Save all uservars

Pull Request - State: closed - Opened by IgnaceBleukx 5 months ago - 3 comments

#462 - Proper translation of count to minizinc

Pull Request - State: closed - Opened by IgnaceBleukx 5 months ago - 1 comment
Labels: Simple to review

#461 - count inside wsum crashes minizinc

Issue - State: closed - Opened by Wout4 6 months ago
Labels: bug, fuzz-test

#460 - Minizinc crashes with sum in alldifferentexcept0

Issue - State: closed - Opened by Wout4 6 months ago
Labels: bug, fuzz-test

#459 - V0.9.20

Pull Request - State: closed - Opened by Wout4 6 months ago - 3 comments

#458 - Updated dimacs parser

Pull Request - State: closed - Opened by IgnaceBleukx 7 months ago

#457 - Userwarning when using floats.

Pull Request - State: closed - Opened by Wout4 7 months ago - 1 comment

#456 - Is bool boolval

Pull Request - State: closed - Opened by Wout4 7 months ago - 2 comments

#455 - use floor and ceil to ensure int bounds

Pull Request - State: closed - Opened by Wout4 7 months ago - 5 comments

#454 - real constants for ortools

Pull Request - State: open - Opened by Wout4 7 months ago - 1 comment

#453 - DIMACS parser and writer

Pull Request - State: closed - Opened by IgnaceBleukx 7 months ago - 4 comments

#452 - Utils is_bool() does not include cpmpy BoolVal

Issue - State: closed - Opened by Wout4 8 months ago
Labels: bug, fuzz-test

#451 - Classmethod in SolverLookup

Pull Request - State: closed - Opened by IgnaceBleukx 8 months ago

#450 - Multiple AllDifferent constraints results in wrong solution

Issue - State: closed - Opened by mekhall 8 months ago - 11 comments

#449 - Making a deep-copy of a model

Issue - State: closed - Opened by mekhall 8 months ago - 2 comments

#448 - Add missing case in flatten

Pull Request - State: closed - Opened by Wout4 9 months ago

#447 - create vectorized typecheck

Pull Request - State: closed - Opened by Wout4 9 months ago

#446 - Adding NValue global constraint

Pull Request - State: closed - Opened by IgnaceBleukx 9 months ago - 2 comments

#445 - Global constraints with list-arguments of length 1

Pull Request - State: closed - Opened by IgnaceBleukx 9 months ago

#444 - 2d-element constraint can have out-of-bounds indices

Issue - State: open - Opened by IgnaceBleukx 9 months ago - 3 comments
Labels: partial functions

#443 - optional parameter to ensure get_or_make_var outputs boolean var

Pull Request - State: closed - Opened by Wout4 9 months ago

#442 - reifing a boolean expression to an integer crashes ortools and gurobi interface

Issue - State: closed - Opened by Wout4 9 months ago - 2 comments
Labels: bug, fuzz-test

#441 - Full propagation with exact

Pull Request - State: closed - Opened by IgnaceBleukx 9 months ago - 1 comment

#440 - Docs on solver statistics

Pull Request - State: closed - Opened by Wout4 10 months ago - 2 comments
Labels: Simple to review

#439 - partial functions

Issue - State: open - Opened by Wout4 10 months ago - 1 comment

#438 - More MiniZinc fixes

Pull Request - State: closed - Opened by IgnaceBleukx 10 months ago
Labels: Simple to review

#437 - Update on tools/subsets

Pull Request - State: closed - Opened by IgnaceBleukx 10 months ago - 8 comments

#436 - Cumulative constraint with one task crashes Minizinc

Issue - State: closed - Opened by IgnaceBleukx 11 months ago

#435 - Changes to Cumulative constraint

Pull Request - State: closed - Opened by IgnaceBleukx 11 months ago - 1 comment

#434 - get_bounds() for arrays

Pull Request - State: closed - Opened by IgnaceBleukx 11 months ago - 3 comments

#433 - Global constraints wishlist

Issue - State: open - Opened by Wout4 11 months ago - 4 comments
Labels: enhancement

#432 - Canonical recursive

Pull Request - State: open - Opened by IgnaceBleukx 11 months ago - 2 comments

#431 - XCSP3 parser

Pull Request - State: closed - Opened by IgnaceBleukx 11 months ago - 2 comments

#430 - Docs update

Pull Request - State: closed - Opened by Wout4 12 months ago

#429 - Possibility of modeling Generalized Disjunctive Programs

Issue - State: closed - Opened by bernalde 12 months ago - 3 comments

#428 - test table constraint first argument.

Pull Request - State: closed - Opened by Wout4 12 months ago - 1 comment

#427 - turn simplify_bool into normalise.

Issue - State: open - Opened by Wout4 12 months ago - 1 comment

#426 - no distributivity in flatten_model.py

Pull Request - State: closed - Opened by Wout4 12 months ago

#425 - 395 xor decomposition is very inefficient

Pull Request - State: closed - Opened by Wout4 12 months ago

#424 - Circuit decomposition for all ranges

Pull Request - State: open - Opened by Wout4 12 months ago - 2 comments
Labels: blocked

#423 - Reified circuit first element of list is restricted

Issue - State: open - Opened by Wout4 12 months ago - 1 comment
Labels: bug, partial functions

#422 - Canonical comparison Implied

Pull Request - State: closed - Opened by Dimosts 12 months ago - 1 comment

#421 - Handle reification of comparison in canonical_comparison

Pull Request - State: closed - Opened by Dimosts 12 months ago - 1 comment

#420 - Canonical comparison does not handle reification of comparisons

Issue - State: closed - Opened by Wout4 12 months ago - 4 comments

#419 - Distributivity of wsums

Issue - State: open - Opened by IgnaceBleukx about 1 year ago - 1 comment
Labels: enhancement

GitHub / CPMpy/cpmpy issues and pull requests