KPSAT
Kotlin Constraint Programming DSL
DSL Module
Expression builders, operators, and aggregations
Solver Module
CP-SAT solver integration and constraint compilation