====== Online Encyclopedia of Solvable and Unsolvable Constraints ======

[[encyc:top|Encyclopedia Top Level Page]]

[[encyc:Local Theories]] (Edited by Swen Jacobs)

[[encyc:Collections]] (Edited by Ruzica Piskac)

[[encyc:Transition Systems]] (Edited by Thomas Wies and Tomas Vojnar)

As an example, please see [[http://lara.epfl.ch/dokuwiki/encyc:intro|this stub]].