Search results

[Action Required] macOS 13 hosted runner image is closing down

Status: Open.

#79 In ciaranm/glasgow-constraint-solver;

· ciaranm opened on Oct 2, 2025

Constraints that would be nice to have from a CPMpy Perspective

enhancementNew feature or requestNew feature or request

Status: Open.

#61 In ciaranm/glasgow-constraint-solver;

· mmcilree opened on Jul 10, 2024

ProofOnlySimpleIntegerVariableIDs break define if they are DirectOnly

bugSomething isn't workingSomething isn't working

Status: Open.

#38 In ciaranm/glasgow-constraint-solver;

· mmcilree opened on Sep 4, 2023

Built-in/efficient way for state to return the entirety of current domain

enhancementNew feature or requestNew feature or request

Status: Open.

#26 In ciaranm/glasgow-constraint-solver;

· mmcilree opened on Jul 18, 2023

Different Proof Modes (Idea)

enhancementNew feature or requestNew feature or request

Status: Open.

#19 In ciaranm/glasgow-constraint-solver;

· mmcilree opened on Jun 7, 2023

Comparisons with views fails proof

bugSomething isn't workingSomething isn't working

Status: Open.

#18 In ciaranm/glasgow-constraint-solver;

· mmcilree opened on May 9, 2023

Consistency cleanup for examples

enhancementNew feature or requestNew feature or request

Status: Open.

#17 In ciaranm/glasgow-constraint-solver;

· ciaranm opened on May 3, 2023

Table and NegativeTable should support a shared_ptr of tuples

enhancementNew feature or requestNew feature or request

Status: Open.

#7 In ciaranm/glasgow-constraint-solver;

· ciaranm opened on Dec 1, 2022