Skip to content

Issues: conjure-cp/conjure-oxide

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

70 Open 165 Closed
70 Open 165 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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Default setting for variables area::sat Related to SAT rules, SAT solvers and the KisSAT solver interface.
#705 opened Mar 8, 2025 by Shikhar-Srivastava-16
@Shikhar-Srivastava-16
2
Support for unconstrained decision variables in rustsat area::rules Related to rewrite rules area::sat Related to SAT rules, SAT solvers and the KisSAT solver interface. help wanted Extra attention is needed
#704 opened Mar 8, 2025 by Shikhar-Srivastava-16
1
@Shikhar-Srivastava-16
1
[RFC] Performance Benchmark Testing kind::testing Testing and Correctness
#693 opened Feb 26, 2025 by EEJDempster
@EEJDempster
1
[RFC] tree-morph Optimizations
#686 opened Feb 19, 2025 by Arnav-Bista
Deep clone models, symbol tables, etc
#685 opened Feb 19, 2025 by niklasdewally
ProTrace mod
#684 opened Feb 19, 2025 by Soph1514
1
@Soph1514
9
tree-morph improvements
#677 opened Feb 13, 2025 by lixitrixi
6 tasks
1
Make a glossary of terms we use
#676 opened Feb 12, 2025 by gskorokhod Documentation
1
Update the SolverAdaptor interface to handle dominance relations
#674 opened Feb 10, 2025 by gskorokhod
@gskorokhod
Generate new top-level constraints based on dominanceRelation
#673 opened Feb 10, 2025 by gskorokhod
@gskorokhod
Rewriting Dominance expressions area::conjure-oxide/rule-engine Related to the rule engine and the expression rewriting logic. area::rules Related to rewrite rules priority::soon We'll need this soon, or other features may be blocked.
#672 opened Feb 10, 2025 by gskorokhod
@gskorokhod
1
Parse the Essence syntax for dominance relations area::parsing Related to essence / essence prime parsing priority::next We need this next.
#670 opened Feb 10, 2025 by gskorokhod
@gskorokhod
1
[RFC] Dominance Relations tracking Issues tracking progress towards a longer-term goal
#669 opened Feb 10, 2025 by gskorokhod
@gskorokhod
7
Document: "How to run an Essence model with Oxide"?
#667 opened Feb 10, 2025 by gskorokhod Documentation
Document: "How to run an Essence model with the current stack"?
#666 opened Feb 10, 2025 by gskorokhod Documentation
Link to and summarise Essence docs
#665 opened Feb 10, 2025 by gskorokhod Documentation
1
Add rule to merge scopes
#658 opened Feb 7, 2025 by niklasdewally
@niklasdewally
Implement scoping
#655 opened Feb 7, 2025 by niklasdewally
@niklasdewally
Document crates
#653 opened Feb 5, 2025 by gskorokhod Documentation
Document dev tools and Rust resources
#651 opened Feb 5, 2025 by gskorokhod Documentation
Improve the Contributor's Guide pages
#650 opened Feb 5, 2025 by gskorokhod Documentation
Comprehensive project architecture doc
#649 opened Feb 5, 2025 by gskorokhod Documentation
Better wiki home page
#648 opened Feb 5, 2025 by gskorokhod Documentation
Revamp or delete the github pages home page
#647 opened Feb 5, 2025 by gskorokhod Documentation
node is required to build Conjure Oxide (due to treesitter grammar) kind::bug Something isn't working
#633 opened Feb 3, 2025 by niklasdewally
4
ProTip! no:milestone will show everything without a milestone.