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

31 Open 73 Closed
31 Open 73 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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

Possible optimisation: Intern the UserName in Name
#288 opened Apr 3, 2024 by ChrisJefferson
Adding a way to see the parents of expressions - Help Needed! area::conjure-oxide/ast Related to conjure_core and ast representation. area::conjure-oxide/rules Related to the rule engine and the expression rewriting logic. area::conjure-oxide Related to conjure_oxide. help wanted Extra attention is needed kind::discussion General discussion and high-level planning.
#282 opened Mar 31, 2024 by Kieranoski702
@Kieranoski702
6
debug / info logging
#255 opened Mar 4, 2024 by ChrisJefferson
2
Integration tests for KisSAT area::conjure-oxide Related to conjure_oxide. area::solvers/kissat Related to the KisSAT solver and solver interface. kind::testing Testing and Correctness status::blocked Waiting on some other features first.
#250 opened Feb 23, 2024 by gskorokhod Better integration testing
@gskorokhod
Suite of integration tests for Minion area::conjure-oxide Related to conjure_oxide. kind::testing Testing and Correctness status::vip-good-first-issue Good first issues for VIP students.
#249 opened Feb 23, 2024 by gskorokhod Better integration testing
@gskorokhod
7
GitHub Pages web UI to display the results of performance testing area::ci Related to CI, coverage, Github, etc. kind::feature New feature or request status::blocked Waiting on some other features first. status::vip-help-wanted This issue needs someone to work on it.
#248 opened Feb 23, 2024 by gskorokhod Better integration testing
@PedroGGBM
Implement regression testing and performance testing in CI area::ci Related to CI, coverage, Github, etc. area::conjure-oxide Related to conjure_oxide. kind::testing Testing and Correctness priority::soon We'll need this soon, or other features may be blocked.
#247 opened Feb 23, 2024 by gskorokhod
4 tasks
Better integration testing
@gskorokhod
minion_rs / minion_c++: internal Minion checks throw SIGTERM; we probably want an exception instead? area::solvers/minion Related to minion_rs, the minion C++ bindings, and the minion solver interface. kind::bug Something isn't working kind::feature New feature or request
#244 opened Feb 22, 2024 by niklasdewally Minion Solver Support (@niklasdewally S2 2023/2024)
@niklasdewally
2
minion_rs: settings passing area::solvers/minion Related to minion_rs, the minion C++ bindings, and the minion solver interface. kind::feature New feature or request
#243 opened Feb 22, 2024 by niklasdewally Minion Solver Support (@niklasdewally S2 2023/2024)
minion_rs: ensure that watched constraints can only take boolean variables as input area::solvers/minion Related to minion_rs, the minion C++ bindings, and the minion solver interface. kind::bug Something isn't working
#242 opened Feb 22, 2024 by niklasdewally Minion Solver Support (@niklasdewally S2 2023/2024)
minion_rs / minion C++: get solver stats out of Minion area::solvers/minion Related to minion_rs, the minion C++ bindings, and the minion solver interface. kind::feature New feature or request priority::next We need this next. status::blocked Waiting on some other features first.
#241 opened Feb 22, 2024 by niklasdewally Minion Solver Support (@niklasdewally S2 2023/2024)
minion_rs / minion C++: support tuple and short-tuple constraints area::solvers/minion Related to minion_rs, the minion C++ bindings, and the minion solver interface. kind::feature New feature or request
#240 opened Feb 22, 2024 by niklasdewally
2 tasks
Minion Solver Support (@niklasdewally S2 2023/2024)
minion_rs: preparing for property testing and fuzzing area::solvers/minion Related to minion_rs, the minion C++ bindings, and the minion solver interface. kind::testing Testing and Correctness
#231 opened Feb 20, 2024 by niklasdewally Minion Solver Support (@niklasdewally S2 2023/2024)
@niklasdewally
Implement global context area::conjure-oxide Related to conjure_oxide. kind::discussion General discussion and high-level planning. kind::feature New feature or request priority::next We need this next. status::blocked Waiting on some other features first.
#221 opened Feb 14, 2024 by niklasdewally
@gskorokhod
9
Representing Optimisation Problems in the Model area::conjure-oxide Related to conjure_oxide. kind::feature New feature or request
#220 opened Feb 14, 2024 by niklasdewally
7
minion_rs / minion C++: Allow the use of minion to solve optimisation problems area::solvers/minion Related to minion_rs, the minion C++ bindings, and the minion solver interface.
#215 opened Feb 12, 2024 by niklasdewally
3 tasks
Minion Solver Support (@niklasdewally S2 2023/2024)
CLI Interface for conjure_oxide area::conjure-oxide Related to conjure_oxide. priority::soon We'll need this soon, or other features may be blocked. status::vip-help-wanted This issue needs someone to work on it.
#199 opened Feb 9, 2024 by niklasdewally
1
Dominance proof of concept area::conjure-oxide Related to conjure_oxide. status::blocked Waiting on some other features first.
#192 opened Feb 7, 2024 by niklasdewally Incremental Solving Proof of Concept
1
Allow adding of constraints and variables to Minion mid-search. area::conjure-oxide Related to conjure_oxide. area::solvers/minion Related to minion_rs, the minion C++ bindings, and the minion solver interface. status::blocked Waiting on some other features first.
#190 opened Feb 7, 2024 by niklasdewally Incremental Solving Proof of Concept
1
Examples from Paper and Haskell Docs. area::uniplate Related to uniplate. kind::documentation Improvements or additions to documentation kind::testing Testing and Correctness priority::next We need this next.
#187 opened Feb 7, 2024 by niklasdewally Uniplate 1.0
@niklasdewally
Derive Macro for Biplates area::uniplate Related to uniplate.
#186 opened Feb 7, 2024 by niklasdewally Uniplate 1.0
Implement Zippers area::uniplate Related to uniplate.
#184 opened Feb 7, 2024 by niklasdewally Uniplate 1.0
2
Implement Biplates area::uniplate Related to uniplate. priority::soon We'll need this soon, or other features may be blocked.
#183 opened Feb 7, 2024 by niklasdewally Uniplate 1.0
Add warning messages, tracing and a debug mode to the rewriter area::conjure-oxide Related to conjure_oxide. good first issue Good for newcomers
#181 opened Feb 7, 2024 by Kieranoski702
@Kieranoski702
Generic AST Traversal and modification constructs i.e. implementing Uniplates in Rust area::uniplate Related to uniplate. kind::discussion General discussion and high-level planning.
#177 opened Feb 4, 2024 by niklasdewally Uniplate 1.0
@niklasdewally
4
ProTip! Mix and match filters to narrow down what you’re looking for.