c-cube / batsat

A (parametrized) Rust SAT solver originally based on MiniSat
https://docs.rs/batsat/
Other
30 stars 4 forks source link

Expand API for smt solver to implement push/pop #18

Open dewert99 opened 8 months ago

dewert99 commented 8 months ago

Gives raw access to solver.v.assumptions and allows where variables are available for decisions to be changed after they are created, as an alternative to #17? Doing this allows the rest of #17 to be implemented by the solver.