See the documentation in the doc/ directory.