Implement standardized incremental SAT solver interface: IPASIR

[Robbepop]

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.

[jix]

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.

[Robbepop]

Sounds good to me!