Toggle navigation
MiniZinc
Software
Resources
Team
Challenge
Discussions
Carleton Coffrin
Data61
Linear and non-linear solvers, developing and teaching
Modeling Discrete Optimization
.