Copyright Siemens AG, 2016
This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. If a copy of the MPL was not distributed with this file, You can obtain one at http://mozilla.org/MPL/2.0/.
Authors: Gottfried Schenner / Richard Taupe
OOCSP is an experimental MiniZinc encoding of object-oriented models.
Folder 2016_CWS contains the OOCSP implementation used for our contribution to the Configuration Workshop 2016 (CWS2016) at the CP2016 conference.
Folder 2016_ModRef contains the OOCSP implementation used for our contribution to the Workshop on Constraint Modelling and Reformulation (ModRef 2016) at the CP2016 conference.