Show HN: Selen – Constraint Satisfaction Solver in Rust

This project originated from my need for a constraint solver in a cutting optimization project. After evaluating existing solvers, which were primarily bindings to large C/C++ libraries with numerous dependencies, I decided to develop my own solution. Over several years, I experimented with various approaches, resulting in a self-contained implementation.

The solver handles constraints with integer, float, and boolean domains, supporting arithmetic, logical, and several global constraints (alldiff, element, count, table).

While performance continues to improve, it is not intended to compete with large commercial solvers.