-
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
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
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
direct encoding
area::conjure-oxide
Related to conjure_oxide.
area::sat
Related to SAT rules, SAT solvers and the KisSAT solver interface.
Discussion: Rust bindings for SAT solvers
area::sat
Related to SAT rules, SAT solvers and the KisSAT solver interface.
kind::discussion
General discussion and high-level planning.
#2
opened Sep 25, 2023 by
lixitrixi
ProTip!
What’s not been updated in a month: updated:<2024-09-20.