We believe in the importance of actual (software) realizations as a useful technique in the experimental analysis, empirical verification and tuning of algorithms. These realizations help to assess the relevance or limitations of theoretical models and to create bridges toward applications in different domains.

These tools permit to send descriptions of problems to our server and to receive solutions, both by email and on the client browser. They are intended to be used by researchers and practitioners to:

• (research) enlarge the number of tests of the different algorithms (feedback is encouraged), and develop more specialized versions of wide-purpose algorithms for specific problems
• (educational) provide a tutorial introduction to various techniques and algorithms
• (applications) test the viability of a given algorithm for the solution of a problem without the burden of rewriting the software from scratch

At the moment the following tools are available:

• Continuous Optimization - Continuous Reactive Tabu Search and Affine Shaker
• Maximum Satisfiability [MAX-SAT]... "I can't get no satisfaction"
• Maximum Clique in Graphs [MAX-CLIQUE]... "clique here"
• Graph Partitioning [equicut]... "divide et impera"
• Quadratic Assignment Problem [QAP]

Other tools for specific problems are being prepared, stay tuned!

---

Of course, the tools are available for free and without warranty of any kind; see our disclaimer for details.