GreyJack Solver is an AI constraint solver for Rust (current version) built on top of Polars. It empowers you to solve a wide range of constraint optimization problems, including continuous, integer, ...