Skip to content

Pull requests: ciaranm/glasgow-constraint-solver

New pull request New
8 Open 51 Closed
8 Open 51 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Formally verified encodings
#103 opened Apr 10, 2026 by philrod1 Collaborator Loading…
7
C++23ification, attempt one
#100 opened Mar 22, 2026 by ciaranm Owner Loading…
Merged linear inequality IF and IFF into a single install function
#96 opened Mar 3, 2026 by philrod1 Collaborator Loading…
Refactor linear inequality install (#86) - first pass
#95 opened Feb 26, 2026 by philrod1 Collaborator Loading…
3
Decorate soli.
#94 opened Feb 20, 2026 by mmcilree Collaborator Loading…
5
Rethinking how we do reasons a bit
#75 opened Jul 12, 2025 by ciaranm Owner Loading…
WIP: LP Justifications
#72 opened Mar 11, 2025 by mmcilree Collaborator • Draft
11
Logging and reasons refactor
#54 opened May 5, 2024 by ciaranm Owner Loading…
ProTip! Type g i on any issue or pull request to go back to the issue listing page.