Pull requests: conjure-cp/conjure-oxide
Pull requests list
pull request for sat adaptor
area::sat
Related to SAT rules, SAT solvers and the KisSAT solver interface.
#703
opened Mar 8, 2025 by
Shikhar-Srivastava-16
•
Review required
hotfix: downgrade crate 'versions' to 6.3.2
#707
opened Mar 10, 2025 by
gskorokhod
•
Review required
ProTip!
Mix and match filters to narrow down what you’re looking for.