solver-rs

Rust solver library.