Search results

Entailment trail

Status: Open.

#128 In yangeorget/nucs;

· yangeorget opened on Jun 2, 2026

Migrate old articles to NuCS repo

Status: Open.

#126 In yangeorget/nucs;

· yangeorget opened on May 24, 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

Review linear propagators and add special cases (x=y+c)

Status: Open.

#119 In yangeorget/nucs;

· yangeorget opened on May 12, 2026

Optimize solver methods

Status: Open.

#118 In yangeorget/nucs;

· yangeorget opened on May 7, 2026

Use MkDocs for the docs

Status: Open.

#110 In yangeorget/nucs;

· yangeorget opened on Apr 19, 2026

Fix split_hi/lo heuristics

Status: Open.

#105 In yangeorget/nucs;

· yangeorget opened on Apr 8, 2026

Group array inits in all_different propagator

Status: Open.

#104 In yangeorget/nucs;

· yangeorget opened on Apr 7, 2026

Do not copy parameters in BC algorithm, use a view

Status: Open.

#103 In yangeorget/nucs;

· yangeorget opened on Apr 4, 2026

Pass caches in propagators

Status: Open.

#102 In yangeorget/nucs;

· yangeorget opened on Apr 4, 2026

Implement trailing

Status: Open.

#98 In yangeorget/nucs;

· yangeorget opened on Mar 29, 2026

🤖 Automated OSS Review Feedback

Status: Open.

#97 In yangeorget/nucs;

· noivan0 opened on Mar 28, 2026