Total Optimisation using Answer Set Technology
The TOAST project is aiming to use answer set programming as an intelligent search 'back end' for a superoptimiser. The system is still under heavily development but preliminary results have been published in a technical report. Once the code has reached a reasonable state of development we hope to release it under the GPL.
Below are a series of packages containing representative outputs from the TOAST system. These include the programs used to produce benchmarks for papers accepted at NMR'06 and ICLP'06. These are provided as a resource for researchers interested in benchmarking / developing answer set solvers.