Oscar.cbls

swMATH13502MaRDI QIDQ25416FDOQ25416

Author name not available (Why is that?)

Cited In (3)

• MiniZinc with strings
• A constraint-based local search backend for MiniZinc
• Auto-tabling for subproblem presolving in MiniZinc

This page was built for software: Oscar.cbls