Show HN: Selen – Constraint Satisfaction Solver in Rust

As I already stated the reason is "bindings to large C/C++ libraries with numerous dependencies" for other libraries and "it is not intended to compete with large commercial solvers". I didn't do comparison, but it will be helpfull to compare and tell us.