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.