conjure-oxide
Rust Mediumconjure-cp/conjure-oxide
21 stars
32 forks
17 open issues
Active Mar 2026
Beginner-Friendly Issues 17
Issues tagged for new contributors
Change Atomic Memory Ordering
#1723 · Mar 31, 2026
kind::bug
Remove AbstractComprehension
#1715 · Mar 30, 2026
good first issue
Add ExpressionGenerator parsing to essence parser
#1707 · Mar 28, 2026
area::parsing
Add `validate` flag to roundtrip testing
#1704 · Mar 26, 2026
area::parsing
`SymbolTable::extend` overwrites existing machine names
#1672 · Mar 20, 2026
Decide whether we want to release the dev container on ghcr
#1666 · Mar 18, 2026
Cache build artefacts when using the dev container image
#1665 · Mar 18, 2026
Model feature not supported
#1653 · Mar 16, 2026
area::error-detection
Add preview build info into creating_documentation_guides.md
#1650 · Mar 16, 2026
add warning system for native parser
#1639 · Mar 13, 2026
Make sure z3 version we install in CI is what we think it is
#1638 · Mar 13, 2026
dependencies::ci
type check indices
#1633 · Mar 12, 2026
conjure-oxide --version doesn't work
#1631 · Mar 12, 2026
good first issue
set test failing with tree-sitter parser
#1628 · Mar 11, 2026
constant evaluation is not working for SatInt
#1622 · Mar 11, 2026
Testing needed for SAT constraints
#1620 · Mar 11, 2026
Domain pretty-printing format is wrong
#1610 · Mar 10, 2026
kind::bug area::conjure-oxide/ast kind::UX