This repository has been archived on 2025-03-03. You can view files and clone it, but cannot push or open issues or pull requests.

Jip J. Dekker a0f4e4094e 🐛 Fix compilation problems

2017-02-22 10:48:02 +01:00

..

instances

Add the models used in the CPAIOR 2017 paper

2016-11-21 17:54:04 +01:00

black-hole.mzn

🐛 Fix compilation problems

2017-02-22 10:48:02 +01:00