search

KardinalAI / cp_sat

Google CP-SAT solver Rust bindings
Apache License 2.0
18 stars 5 forks source link

Add allowed and forbidden assignments #30

Open cyconer opened 1 year ago

cyconer commented 1 year ago

Pull request for #15 and #16, which are very similar.