-
Notifications
You must be signed in to change notification settings - Fork 12
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Wiki documentation for integration test runner
area::conjure-oxide
Related to conjure_oxide.
good first issue
Good for newcomers
kind::documentation
Improvements or additions to documentation
kind::testing
Testing and Correctness
#353
opened Oct 2, 2024 by
niklasdewally
Benchmark Visualizer: Conjure Native vs Oxide
area::ci
Related to CI, coverage, Github, etc.
dependencies::python
Automated pull requests that update Python code.
kind::feature
New feature or request
kind::testing
Testing and Correctness
Using SAT solvers with the integration tester
area::conjure-oxide
Related to conjure_oxide.
area::sat
Related to SAT rules, SAT solvers and the KisSAT solver interface.
good first issue
Good for newcomers
kind::testing
Testing and Correctness
Suite of integration tests for Minion
area::conjure-oxide
Related to conjure_oxide.
kind::testing
Testing and Correctness
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.
minion_rs: preparing for property testing and fuzzing
area::minion
Related to minion_rs, the minion C++ bindings, and the minion solver interface.
kind::testing
Testing and Correctness
Test the CNF conversion rules on actual models
area::conjure-oxide
Related to conjure_oxide.
area::sat
Related to SAT rules, SAT solvers and the KisSAT solver interface.
kind::testing
Testing and Correctness
#163
opened Jan 31, 2024 by
gskorokhod
ProTip!
What’s not been updated in a month: updated:<2024-09-20.