DIVINE 4.0 ========== Please refer to `doc/manual/building.md` for build instructions. Reference of commandline options is available with `divine help`, or in the manual [1]. For an introduction on how to use the tool, please refer to `doc/manual/using.md`. You can find various example models to try in the `doc/examples` directory. Reporting Problems ------------------ Please email us at divine (at) fi.muni.cz if you encounter a problem that you believe is an error in DIVINE. Obtaining New Versions ---------------------- The latest release is always available through our homepage [2]. [2]: http://divine.fi.muni.cz/ Licence ------- The source code comes with NO WARRANTY, as detailed in the licence texts, which may be found in the file `doc/COPYING` in the distribution tarball. The tool is a product of The ParaDiSe Laboratory, Faculty of Informatics of Masaryk University. This distribution includes freely redistributable third-party code. Please refer to `doc/AUTHORS` and `doc/COPYING` included in the distribution for copyright and licensing details.