solver-0.0.1 has been yanked.

solver-rs

Rust solver library.