Welcome to the COAL documentation! Contents: introduction quickstart mineral mining environment Indices and tables genindex