-
Notifications
You must be signed in to change notification settings - Fork 6
Pull requests: ciaranm/glasgow-constraint-solver
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Extensional GAC: a compact-table arm, chosen per instance
#804
opened Sep 2, 2026 by
ciaranm
Owner
Loading…
Pass the circuit offset instead of shifting the array in the redefinition
#802
opened Sep 2, 2026 by
ciaranm
Owner
Loading…
SubCircuit: a design note for the encoding and its certificates
#801
opened Sep 2, 2026 by
ciaranm
Owner
Loading…
SubCircuit: look for a node on the tour instead of waiting to be told about one
#800
opened Sep 2, 2026 by
ciaranm
Owner
Loading…
Extensional GAC: rasterise the domains pass 1 tests against
#799
opened Sep 2, 2026 by
ciaranm
Owner
Loading…
SubCircuit: the tour must reach the anchor, not just be reachable from it
#798
opened Sep 2, 2026 by
ciaranm
Owner
Loading…
The SCC arm's reachability core, and the anchored encoding it needs
#797
opened Sep 2, 2026 by
ciaranm
Owner
Loading…
Extensional GAC: own the live-tuple set, make the selector proof-only
#796
opened Sep 2, 2026 by
ciaranm
Owner
Loading…
Extensional GAC: hoist the reason, name the selector concretely
#795
opened Sep 2, 2026 by
ciaranm
Owner
Loading…
A tour size for SubCircuit, which is also how to ask for non-empty
#793
opened Sep 2, 2026 by
ciaranm
Owner
Loading…
A SubCircuit constraint, with check and prevent certified
#790
opened Sep 2, 2026 by
ciaranm
Owner
Loading…
Cumulative: a horizon-free start-checkpoint OPB encoding (#780)
#781
opened Aug 26, 2026 by
ciaranm
Owner
Loading…
cumulative: not-last contiguity, over a duration that varies (#778)
#779
opened Aug 23, 2026 by
ciaranm
Owner
Loading…
Read multi-mode RCPSP, so a variable duration and demand get measured
#775
opened Aug 19, 2026 by
ciaranm
Owner
Loading…
Read job shops, so the unary rules have a real instance family
#774
opened Aug 19, 2026 by
ciaranm
Owner
Loading…
Delete logged solutions from proofs once something subsumes them
#713
opened Aug 8, 2026 by
ciaranm
Owner
Loading…
Pin what a pol names, via the union over its operands (Brancher stage G)
order-deletion
Order-encoding deletion (#612) stack: brancher stages A-G, benchmarking, and follow-ups
#646
opened Aug 2, 2026 by
ciaranm
Owner
Loading…
Brancher stage F: do not evict an ancestor's order literal
order-deletion
Order-encoding deletion (#612) stack: brancher stages A-G, benchmarking, and follow-ups
#645
opened Aug 1, 2026 by
ciaranm
Owner
Loading…
Brancher stage E: cleanup, and the campaign that decides the stack
order-deletion
Order-encoding deletion (#612) stack: brancher stages A-G, benchmarking, and follow-ups
#628
opened Jul 31, 2026 by
ciaranm
Owner
Loading…
Brancher stage D: retire the superseded incumbent
order-deletion
Order-encoding deletion (#612) stack: brancher stages A-G, benchmarking, and follow-ups
#622
opened Jul 30, 2026 by
ciaranm
Owner
Loading…
Brancher stage C: exempt the objective from order-encoding deletion
order-deletion
Order-encoding deletion (#612) stack: brancher stages A-G, benchmarking, and follow-ups
#617
opened Jul 30, 2026 by
ciaranm
Owner
Loading…
Previous Next
ProTip!
Follow long discussions with comments:>50.