Bauer, Andreas; Botea, Viorica; Brown, Mark; Gray, Matthew; Harabor, Daniel; Slaney, John K
We present G12IDE, a front-end for the G12 platform aimed at helping users create and work with constraint models in a manner independent from any underlying solver. G12IDE contains tools for writing and evaluating models using Zinc and provides a feature rich debugger for monitoring a running search process. Debugging a search, as opposed to debugging sequential code, requires concepts such as breakpoints and queries to be applied at a higher level than in standard debuggers. Our solution is...[Show more]
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.