Oscar.cbls

swMATH13502MaRDI QIDQ25416FDOQ25416

Author name not available (Why is that?)

Official website: https://bitbucket.org/oscarlib/oscar/wiki/CBLS

Cited In (8)

• MiniZinc with strings
• A constraint-based local search backend for MiniZinc
• FlatZinc
• Kangaroo
• iZplus
• Picat-SAT
• WAPTEC
• Auto-tabling for subproblem presolving in MiniZinc

This page was built for software: Oscar.cbls