Do you have plans to implement the incremental SAT solver interface IPASIR?
I have written a Rust interface for it that can be found hereshamelesspug and would love seeing a Rust SAT solver implementing it so that higher level Rust solvers can make use of it.
I do :) it's not a high priority for me right now, but I will add it eventually. My plan is to have a varisat_ipasir crate that is a wrapper around varisat's Rust API.
Do you have plans to implement the incremental SAT solver interface IPASIR? I have written a Rust interface for it that can be found here shamelesspug and would love seeing a Rust SAT solver implementing it so that higher level Rust solvers can make use of it.