bokner/fixpoint issues and pull requests

#72 - Experiment: switch constraint graph from Graph to :digraph

Issue - State: open - Opened by bokner 5 days ago

#71 - More value choice strategies

Pull Request - State: closed - Opened by bokner 5 days ago

#70 - Add more value-choice strategies

Issue - State: closed - Opened by bokner 6 days ago

#69 - Search: refactoring

Pull Request - State: closed - Opened by bokner 6 days ago

#68 - CHB strategy

Pull Request - State: closed - Opened by bokner 11 days ago

#67 - Activity-based search (variable choice strategy)

Pull Request - State: closed - Opened by bokner 12 days ago

#66 - Activity-based (action) search

Pull Request - State: closed - Opened by bokner 22 days ago

#65 - `Reified` fails for certain break-evens

Issue - State: open - Opened by bokner 25 days ago
Labels: bug

#64 - Search: AFC (accumulated failure count)

Pull Request - State: closed - Opened by bokner about 1 month ago

#63 - Search : restarts

Issue - State: open - Opened by bokner about 1 month ago

#62 - Search: AFC strategies

Issue - State: closed - Opened by bokner about 1 month ago

#61 - AllDifferent: bound-consistent implementation

Issue - State: open - Opened by bokner about 1 month ago

#60 - Search: impact-based strategy for variable choice

Issue - State: open - Opened by bokner about 1 month ago

#59 - Search: activity-based strategy for variable choice

Issue - State: closed - Opened by bokner about 1 month ago

#58 - max_regret strategy for variable choice

Pull Request - State: closed - Opened by bokner about 1 month ago

#57 - `most-constrained` strategy for the variable choice

Pull Request - State: closed - Opened by bokner about 2 months ago

#56 - Enable variable selection with additional arg; change branching interface

Pull Request - State: closed - Opened by bokner about 2 months ago

#55 - AllDifferent DC

Pull Request - State: closed - Opened by bokner about 2 months ago

#54 - AllDifferent FWC: refactoring

Pull Request - State: closed - Opened by bokner about 2 months ago

#53 - Implement LNS

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

#52 - Implement `most_constrained` strategy for variable choice

Issue - State: closed - Opened by bokner 2 months ago

#51 - Tidy up factory helpers

Issue - State: closed - Opened by bokner 2 months ago

#50 - Negation ('not') view

Pull Request - State: closed - Opened by bokner 2 months ago

#49 - 'not' view for Boolean variables

Issue - State: closed - Opened by bokner 2 months ago

#48 - Or constraint

Pull Request - State: closed - Opened by bokner 2 months ago

#47 - Count constraint

Pull Request - State: closed - Opened by bokner 2 months ago

#46 - 'inverse' constraint

Issue - State: closed - Opened by bokner 2 months ago - 1 comment

#45 - 'Count' constraint

Issue - State: closed - Opened by bokner 2 months ago - 1 comment

#44 - Implement ElementVar with 2D matrix

Issue - State: closed - Opened by bokner 3 months ago - 1 comment

#43 - Enable variable list/matrix for element constraint

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

#42 - Implication, equivalence, inverse impilcation

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

#41 - Propagator binding

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

#40 - Implement Or(list_of_bool_vars)

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

#39 - Reification

Pull Request - State: closed - Opened by bokner 4 months ago

#38 - Let's really fix it

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

#37 - Fix race condition when removing value from bitvector domain

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

#36 - Possible race condition when removing a single value from bitvector domain

Issue - State: closed - Opened by bokner 4 months ago

#35 - Implement reified constraints

Issue - State: closed - Opened by bokner 4 months ago

#34 - Implement max_regret for variable choice

Issue - State: closed - Opened by bokner 5 months ago

#33 - Implement store with constraint graph

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

#32 - AllDifferent FWC is very slow.

Issue - State: open - Opened by bokner 5 months ago - 1 comment

#31 - `Absolute` constraint

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

#30 - Add Element constraint with variable list/matrix.

Issue - State: closed - Opened by bokner 5 months ago

#29 - Add 'abs' (Absolute) constraint

Issue - State: closed - Opened by bokner 5 months ago

#28 - Modulo constraint

Pull Request - State: closed - Opened by bokner 6 months ago

#27 - Search refactoring

Pull Request - State: closed - Opened by bokner 6 months ago

#26 - Pass changes 3

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

#25 - Pass changes 3

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

#24 - Push positional changes to propagators

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

#23 - AllDifferent FWC implementation that applies `:fixed` events

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

#22 - Direct store; TSP rewrite

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

#21 - Fix race condition

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

#20 - Remove fixed store

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

#19 - Bitvector refactoring

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

#18 - Circuit constraint

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

#17 - Quadratic assignment example

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

#16 - 'element' constraint

Pull Request - State: closed - Opened by bokner 10 months ago

#15 - Bit vector domain

Pull Request - State: closed - Opened by bokner 10 months ago

#14 - Switch to bitmap domain

Pull Request - State: closed - Opened by bokner 11 months ago

#13 - Fix FWC issue

Pull Request - State: closed - Opened by bokner 11 months ago

#12 - Forwarg checking propagation for all_different

Pull Request - State: closed - Opened by bokner 11 months ago

#11 - Distributed solving

Pull Request - State: closed - Opened by bokner 11 months ago

#10 - Stateful propagators

Pull Request - State: closed - Opened by bokner 11 months ago

#9 - Optimization objectives

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

#8 - Sum constraint

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

#7 - Views

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