A Kotlin wrapper for OR-Tools CP/SAT adding DSL, multiple objectives and soft constraints
ai edsl constraint-satisfaction-problem operations-research sat optimisation multiobjective-optimization cp-sat classical-ai soft-con
-
Updated
Jan 15, 2026 - Kotlin