GreyJack Solver is a constraint metaheuristic solver for Python, built on the robust foundations of Rust and Polars. It empowers you to tackle a wide array of constraint optimization problems, including continuous, integer, and mixed-integer challenges with ease and efficiency.
Rust version of GreyJack Solver for constraint continuous, integer, mixed integer optimization problems
High performance rule and constraint satisfaction engine