Latest

Constraint learning through nogood derivation promises more powerful symmetry handling by accumulating reasons for propagation failures into reusable constraints.

The venerable MPS optimization file format has its share of odd conventions and limitations inherited from its 1960s punch card origins.