CPMpy/cpmpy issues and pull requests

#418 - Canonical comparison bug whan rhs contains a multiplication

Issue - State: closed - Opened by Wout4 about 1 year ago - 2 comments

#417 - no simplify bool in minizinc and z3

Pull Request - State: closed - Opened by Wout4 about 1 year ago - 1 comment

#416 - adding QuickXplain

Pull Request - State: closed - Opened by IgnaceBleukx about 1 year ago - 1 comment

#415 - Minizinc transform decomposes nested globals

Issue - State: open - Opened by Wout4 about 1 year ago

#414 - Canonical_comparison and only_bv_reifies

Pull Request - State: closed - Opened by Dimosts about 1 year ago - 8 comments

#413 - Adding choco

Pull Request - State: closed - Opened by Dimosts about 1 year ago - 7 comments

#412 - scip interface (first version)

Pull Request - State: open - Opened by tias about 1 year ago - 5 comments

#411 - remove unused code

Pull Request - State: closed - Opened by Dimosts about 1 year ago - 1 comment

#410 - Correct function name mistakes

Pull Request - State: closed - Opened by CharlezXue about 1 year ago - 1 comment

#409 - Pysat removing literals during cardinality encoding

Issue - State: closed - Opened by Wout4 about 1 year ago - 2 comments
Labels: bug, missing solver_vars

#408 - Solution hinting fix, when giving N-D variables and values

Pull Request - State: closed - Opened by Dimosts about 1 year ago - 4 comments

#407 - Solution hinting not working as intended when NDVarArray more than 1 dimension

Issue - State: closed - Opened by Dimosts about 1 year ago - 1 comment
Labels: bug

#406 - Some solvers use floordivision others use integer division

Issue - State: open - Opened by Wout4 about 1 year ago
Labels: inconsistency, partial functions

#405 - circumvent gurobi integer division to match cpmpy floordivision

Pull Request - State: open - Opened by Wout4 about 1 year ago - 1 comment

#404 - Adding Toulbar 2

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

#403 - Cse wv

Pull Request - State: open - Opened by Wout4 about 1 year ago - 1 comment

#402 - UUID

Pull Request - State: open - Opened by Wout4 about 1 year ago - 8 comments

#401 - Updated linearize

Pull Request - State: closed - Opened by IgnaceBleukx about 1 year ago - 1 comment

#400 - linearize alters number of solutions

Issue - State: closed - Opened by Wout4 about 1 year ago - 1 comment
Labels: fuzz-test

#399 - flattening very slow for specific models

Issue - State: closed - Opened by Wout4 about 1 year ago - 2 comments
Labels: fuzz-test

#398 - gurobi does not support floordivision

Issue - State: open - Opened by Wout4 about 1 year ago
Labels: bug, fuzz-test, inconsistency, partial functions

#397 - cp.intvar makes unbound variables?

Issue - State: closed - Opened by jpcaveiro about 1 year ago - 2 comments
Labels: question

#396 - Exact solution hints

Pull Request - State: closed - Opened by IgnaceBleukx about 1 year ago
Labels: Simple to review

#395 - Xor decomposition is very inefficient

Issue - State: closed - Opened by Wout4 about 1 year ago - 1 comment
Labels: fuzz-test

#394 - Only bv implies check globals

Pull Request - State: closed - Opened by Wout4 about 1 year ago

#393 - Make element total

Pull Request - State: open - Opened by Wout4 about 1 year ago - 7 comments

#392 - reified element constraints do not get handled correctly

Issue - State: open - Opened by Wout4 about 1 year ago - 1 comment
Labels: bug, fuzz-test, partial functions

#391 - fix: decompose_global: mark inverse as supported

Pull Request - State: closed - Opened by bradediger about 1 year ago - 1 comment

#390 - avoid numpy sum where we are at risk of overflow

Pull Request - State: closed - Opened by Wout4 about 1 year ago

#389 - ParameterTuner contains python3.9+ only code

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

#388 - 368 boolvalimplies leads to error

Pull Request - State: closed - Opened by tias about 1 year ago

#387 - always offset circuits for minzinc

Pull Request - State: closed - Opened by Wout4 about 1 year ago

#386 - Minizinc solve call crashes JSON-decoder on specific output

Issue - State: closed - Opened by Wout4 about 1 year ago - 3 comments
Labels: fuzz-test, upstream bug

#385 - Circuit to minizinc translation does not always offset

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

#384 - skip tests in examples if required packages not installed

Pull Request - State: closed - Opened by Wout4 about 1 year ago - 4 comments

#383 - dtype problem in flatten model process

Issue - State: closed - Opened by CharlezXue about 1 year ago - 2 comments

#382 - small doc fix: abs as global

Pull Request - State: closed - Opened by Wout4 about 1 year ago

#381 - fresh install tests requiring skip check

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

#380 - Backwards compatible model initialization

Pull Request - State: closed - Opened by Dimosts about 1 year ago - 2 comments

#379 - Extend cases of GlobalConstraints in Minizinc

Pull Request - State: closed - Opened by Dimosts about 1 year ago

#378 - Normalize numexpr in decompose in tree

Pull Request - State: closed - Opened by Dimosts about 1 year ago - 1 comment

#377 - Decompose globals does not flatten globalfunctions when supported

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

#376 - Not backwards compatible model init

Issue - State: closed - Opened by Dimosts about 1 year ago - 3 comments

#375 - Tests no longer work in Windows

Issue - State: open - Opened by Dimosts over 1 year ago - 4 comments

#374 - CpmPyException in stead of asserts in pysat

Pull Request - State: closed - Opened by Wout4 over 1 year ago

#373 - Unique identifiers for variables

Issue - State: open - Opened by Wout4 over 1 year ago - 1 comment

#372 - negating boolval fix

Pull Request - State: closed - Opened by Wout4 over 1 year ago

#371 - Negating Boolval() changes the original object

Issue - State: closed - Opened by Wout4 over 1 year ago
Labels: bug, fuzz-test

#370 - Count only works in a comparison for minizinc

Issue - State: closed - Opened by Wout4 over 1 year ago
Labels: bug, fuzz-test

#369 - possibility for infinite loop in only_bv_implies

Issue - State: closed - Opened by Wout4 over 1 year ago
Labels: fuzz-test

#368 - boolval.implies leads to error

Issue - State: closed - Opened by Wout4 over 1 year ago - 5 comments
Labels: bug, fuzz-test

#367 - Allow description for a constraint

Pull Request - State: closed - Opened by IgnaceBleukx over 1 year ago - 2 comments

#366 - indomain does not work with minizinc

Issue - State: closed - Opened by Wout4 over 1 year ago - 7 comments
Labels: bug

#365 - Alldifferent except 0 does not work on minizinc

Issue - State: closed - Opened by Wout4 over 1 year ago
Labels: bug

#364 - flatten simplification fix

Pull Request - State: closed - Opened by Wout4 over 1 year ago

#363 - De we have a decomposition of abs?

Issue - State: closed - Opened by JoD over 1 year ago - 5 comments

#362 - Exact gets unsatisfiable input on models/3_jugs_regular16650499634232442.bt

Issue - State: open - Opened by JoD over 1 year ago - 3 comments
Labels: duplicate var names

#361 - make globalconstraints backwards compatible

Pull Request - State: closed - Opened by IgnaceBleukx over 1 year ago
Labels: Simple to review, next release

#360 - Common subexpression elimination (cse)

Issue - State: open - Opened by 363734 over 1 year ago - 4 comments
Labels: enhancement

#359 - Flatten TypeError: Not operator is only allowed on boolean expressions: IV0

Issue - State: closed - Opened by JoD over 1 year ago

#358 - Numpy multiplication not working right all the time

Issue - State: closed - Opened by 363734 over 1 year ago - 1 comment
Labels: bug

#357 - abs as global function

Pull Request - State: closed - Opened by Wout4 over 1 year ago - 2 comments
Labels: next release

#356 - test comparisons between bool and int variables

Pull Request - State: closed - Opened by tias over 1 year ago - 7 comments
Labels: next release

#355 - catch beginner mistakes

Pull Request - State: closed - Opened by tias over 1 year ago - 6 comments
Labels: next release

#354 - MTZ-style decomposition of Circuit

Pull Request - State: open - Opened by IgnaceBleukx over 1 year ago - 5 comments

#353 - Spurious introduction of integer variables

Issue - State: open - Opened by ElFosco over 1 year ago - 5 comments

#352 - trying the example with graph coloring - objective_value returns 1 (rather than the objective)

Issue - State: closed - Opened by zbenmo over 1 year ago - 2 comments
Labels: question

#351 - Globalfunctions seperated from global constraints

Pull Request - State: closed - Opened by Dimosts over 1 year ago - 4 comments
Labels: next release

#350 - sum, max, and min np like methods of NDVarArray

Pull Request - State: closed - Opened by Dimosts over 1 year ago - 4 comments
Labels: next release

#349 - rework docs: simpler readme/index, modeling file as goto place

Pull Request - State: closed - Opened by tias over 1 year ago - 2 comments
Labels: next release

#348 - Extend solver interface

Issue - State: closed - Opened by JoD over 1 year ago - 1 comment

#347 - Change typecheck test for gcc

Pull Request - State: closed - Opened by Dimosts over 1 year ago - 4 comments
Labels: Simple to review

#345 - Move flatten operations to normalize/simplify transformation

Issue - State: closed - Opened by JoD over 1 year ago - 1 comment
Labels: duplicate, enhancement

#344 - NullShapeError not a CPMpy exception

Issue - State: open - Opened by 363734 over 1 year ago - 4 comments
Labels: enhancement, inconsistency

#343 - Decomposable operations

Issue - State: closed - Opened by 363734 over 1 year ago - 12 comments
Labels: enhancement

#342 - What to rewrite at construction time?

Issue - State: open - Opened by IgnaceBleukx over 1 year ago - 1 comment
Labels: question, inconsistency

#341 - Ufunc of NDVarArray

Issue - State: open - Opened by IgnaceBleukx over 1 year ago - 3 comments
Labels: bug

#340 - Add explicit requirements for jupyter notebooks examples

Pull Request - State: closed - Opened by 363734 over 1 year ago - 6 comments
Labels: next release

#337 - minor fix: globalconstraint.py and python_buildins.py

Pull Request - State: closed - Opened by 363734 over 1 year ago - 2 comments
Labels: blocked

#335 - Decompose globals in tree

Pull Request - State: closed - Opened by IgnaceBleukx over 1 year ago - 3 comments
Labels: next release

#333 - Class and function documentation

Pull Request - State: open - Opened by Dimosts over 1 year ago - 1 comment
Labels: blocked

#332 - Flatten in utils.py

Issue - State: closed - Opened by 363734 over 1 year ago - 2 comments
Labels: enhancement

#328 - Queens 1000

Pull Request - State: closed - Opened by 363734 over 1 year ago
Labels: next release

#327 - EQ and NEQ with bool and bool expr

Pull Request - State: closed - Opened by 363734 over 1 year ago - 12 comments
Labels: next release

#326 - Unique variable name not guarantee

Issue - State: open - Opened by 363734 over 1 year ago
Labels: duplicate, duplicate var names

#323 - Updated tuner

Pull Request - State: closed - Opened by IgnaceBleukx over 1 year ago - 1 comment
Labels: next release

#322 - pysdd: refactor to recursively translate into an SDD

Pull Request - State: closed - Opened by tias over 1 year ago - 4 comments
Labels: next release

#320 - Adding Choco

Issue - State: closed - Opened by Dimosts over 1 year ago - 2 comments
Labels: enhancement

#319 - single file int2bool direct encoding meta solver

Pull Request - State: open - Opened by tias over 1 year ago - 1 comment

#318 - Start of nurse scheduling examples

Pull Request - State: open - Opened by IgnaceBleukx over 1 year ago

#313 - Write additional tests for mixed type expressions

Issue - State: closed - Opened by Wout4 over 1 year ago - 1 comment
Labels: enhancement

#311 - bug in normalized boolexpr, bv != iv

Issue - State: open - Opened by Wout4 over 1 year ago

#310 - 298 implement push down negation

Pull Request - State: closed - Opened by IgnaceBleukx over 1 year ago - 7 comments
Labels: next release

#309 - simplify output for get or make var in specific circumstances

Pull Request - State: closed - Opened by Wout4 over 1 year ago - 4 comments

#308 - optimize typechecks (pr 297)

Pull Request - State: open - Opened by Wout4 over 1 year ago

#307 - use z3's internal IntVal

Pull Request - State: open - Opened by Wout4 over 1 year ago - 2 comments

#306 - inverse works with non vararrays

Pull Request - State: closed - Opened by Wout4 over 1 year ago - 2 comments

#305 - 283 return our new cpmpy expression of false

Pull Request - State: closed - Opened by tias over 1 year ago - 2 comments

#304 - Python built-in functions are now returning boolval instead of bool

Issue - State: closed - Opened by Dimosts over 1 year ago - 2 comments

#303 - Improving global constraints

Pull Request - State: closed - Opened by Dimosts over 1 year ago - 2 comments

GitHub / CPMpy/cpmpy issues and pull requests