Skip to content

Pull requests: conjure-cp/conjure-oxide

New pull request New
55 Open 1,121 Closed
55 Open 1,121 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

build(deps): bump docker/login-action from 4.0.0 to 4.1.0 dependencies::ci dependencies Automated pull requests that update dependencies.
#1814 opened May 1, 2026 by dependabot Bot Loading…
@ozgurakgun
build(deps): bump actions/github-script from 8 to 9 dependencies::ci dependencies Automated pull requests that update dependencies.
#1813 opened May 1, 2026 by dependabot Bot Loading…
@ozgurakgun
build(deps): bump docker/build-push-action from 7.0.0 to 7.1.0 dependencies::ci dependencies Automated pull requests that update dependencies.
#1812 opened May 1, 2026 by dependabot Bot Loading…
@ozgurakgun
build(deps): bump the pip-essence-feature-usage-stats group in /tools/essence-feature-usage-stats with 9 updates dependencies::python Automated pull requests that update Python code. dependencies Automated pull requests that update dependencies.
#1811 opened May 1, 2026 by dependabot Bot Loading…
@ozgurakgun
docs: domains, msets, sequences kind::documentation Improvements or additions to documentation
#1810 opened Apr 29, 2026 by ca1umac Contributor Loading…
@ca1umac
23
Feat/ortools cpsat backend
#1808 opened Apr 29, 2026 by matteraggi • Draft
@matteraggi
1
feat(parser/testing): parser benchmark table
#1806 opened Apr 27, 2026 by leiamcalisteryoung Contributor • Draft
1
@leiamcalisteryoung
2
feat: Gcm more work (draft)
#1805 opened Apr 27, 2026 by TronciuVlad Contributor • Draft
@TronciuVlad
4
build(deps): bump the all group with 12 updates dependencies::rust Automated pull requests that update Rust code. dependencies Automated pull requests that update dependencies.
#1803 opened Apr 27, 2026 by dependabot Bot Loading…
@ozgurakgun
2
build(deps): bump crates/minion-sys/vendor from 03e7578 to 5801f75 dependencies::submodules Automated pull requests that update submodules. dependencies Automated pull requests that update dependencies.
#1802 opened Apr 27, 2026 by dependabot Bot Loading…
@ozgurakgun
2
docs: domain refinement
#1798 opened Apr 24, 2026 by ND65StA Contributor • Draft
@ca1umac @ND65StA
2
feat: Add partition support
#1794 opened Apr 23, 2026 by ca1umac Contributor Loading…
@ca1umac
11
feat: add cardinality operator
#1793 opened Apr 23, 2026 by ND65StA Contributor Loading…
@ND65StA
6
feat: Add support for enumerated and unnamed types
#1791 opened Apr 22, 2026 by benstockil Contributor • Draft
4 of 8 tasks
@benstockil
2
docs(SAT): Creating docs on SAT encodings (bool + log)
#1789 opened Apr 22, 2026 by hecent Contributor • Draft
@hecent
2
Feat/sat order/div
#1775 opened Apr 16, 2026 by YehorBoiar Contributor • Draft
@YehorBoiar
2
feat(lsp): Reference highlighting and detection
#1769 opened Apr 14, 2026 by EEJDempster Contributor • Draft
@a-nosnitram @EEJDempster
2
refactor(lsp): Make AST rebuild only on CST edit
#1768 opened Apr 14, 2026 by EEJDempster Contributor • Draft
@EEJDempster
3
build(deps): bump rand from 0.10.0 to 0.10.1 dependencies::rust Automated pull requests that update Rust code. dependencies Automated pull requests that update dependencies.
#1767 opened Apr 14, 2026 by dependabot Bot Loading…
@ozgurakgun
2
feat(sat): new tests, added Sebastian's rules for direct to order
#1749 opened Apr 5, 2026 by Shikhar-Srivastava-16 Contributor • Draft
1
@Shikhar-Srivastava-16
10
feat(SAT): Added order encoding support for the abs value rule area::conjure-oxide Related to conjure_oxide. area::sat Related to SAT rules, SAT solvers and the KisSAT solver interface.
#1743 opened Apr 3, 2026 by S-andres0694 Contributor • Draft
1
@S-andres0694
5
build(deps): bump pavpanchekha/setup-z3 from 0.3.0 to 1.2.2 dependencies::ci dependencies Automated pull requests that update dependencies.
#1727 opened Apr 1, 2026 by dependabot Bot Loading…
@ozgurakgun
feat(set): Set difference rule
#1724 opened Mar 31, 2026 by EdwardTheLegend Contributor Loading…
1
@EdwardTheLegend
5
docs(Z3): install information
#1716 opened Mar 30, 2026 by ca1umac Contributor Loading…
@lixitrixi @ca1umac
8
feat/sat/generic adaptor area::sat Related to SAT rules, SAT solvers and the KisSAT solver interface.
#1692 opened Mar 24, 2026 by Shikhar-Srivastava-16 Contributor • Draft
@Shikhar-Srivastava-16
2
ProTip! Type g i on any issue or pull request to go back to the issue listing page.