SLS Implementations and Codes

• UBCSAT
  - provides implementations of many prominent SAT and MAX-SAT algorithms, including GSAT and WalkSAT algorithms, SAPS, and IRoTS. Further information and the most current version is available at the UBCSAT web page.

• 2-opt, 3-opt and Iterated Local Search for the TSP

• ACOTSP
  - provides implementations of many prominent ACO algorithms for the TSP, including MAX-MIN Ant System and Ant Colony System. For further information, please check the included README file. This software is also available via the ACO page; an earlier version was used to generate results for the book Ant Colony Optimization by Marco Dorigo and Thomas Stüzle, MIT Press, Cambridge, MA, USA, 2004.

Note: We are planning to make additional SLS implementations available here in the near future.

[Back to SLS Book Home Page]