finish ipasir interface

c-cube / batsat

A (parametrized) Rust SAT solver originally based on MiniSat

https://docs.rs/batsat/

Other

30 stars 4 forks source link

Closed c-cube closed 5 years ago

c-cube commented 5 years ago

implement callbacks that work properly for set_learn

need custom callback struct
- store local Vec<Lit> (to copy new clause into it, then null-terminate it)
- store the C callback + local state