Search results

Study whether or not it is worth implementing a trailing mechanism for the domains

Status: Open.

#163 In yangeorget/nucs;

· yangeorget opened on Jul 6, 2026

Implement conflict based heuristics such as wdeg

Status: Open.

#162 In yangeorget/nucs;

· yangeorget opened on Jul 6, 2026

implement a SAT solver

Status: Open.

#152 In yangeorget/nucs;

· yangeorget opened on Jun 18, 2026

implement LCG

Status: Open.

#151 In yangeorget/nucs;

· yangeorget opened on Jun 18, 2026

implement a better algorithm for nvalue propagator

Status: Open.

#150 In yangeorget/nucs;

· yangeorget opened on Jun 18, 2026

implement an example using nvalue

Status: Open.

#147 In yangeorget/nucs;

· yangeorget opened on Jun 14, 2026

implement an example (VRP?) to leverage subcircuit

Status: Open.

#146 In yangeorget/nucs;

· yangeorget opened on Jun 14, 2026

check which mzn cli args must be supported fro the challenge

Status: Open.

#141 In yangeorget/nucs;

· yangeorget opened on Jun 11, 2026

review old MZN challenges to find ideas of new propagtors

Status: Open.

#139 In yangeorget/nucs;

· yangeorget opened on Jun 11, 2026

implement a real circuit propagator

Status: Open.

#138 In yangeorget/nucs;

· yangeorget opened on Jun 11, 2026

add nvalue propagator and use it in csplib #34

Status: Open.

#137 In yangeorget/nucs;

· yangeorget opened on Jun 11, 2026

Optimize linear propagators with a counter for the first non instantiated variable

Status: Open.

#124 In yangeorget/nucs;

· yangeorget opened on May 14, 2026