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.