Model & Solve Competition
The Competition features two tracks:
the Model and Solve (M&S) Track: open problem encoding, open language. It is open to (and strongly encourages the participation of) any kind of system based on a declarative specification paradigm;
- the System Track: fixed, public problem encodings, written in ASP language, specified within a standard.
Details to be announced soon.