See http://www.denemo.org for README information.