licence

We develop divine as free software and distribute it under the ISC licence (2-clause BSD). The distribution tarball also includes freely redistributable third-party code. Please refer to doc/AUTHORS and doc/COPYING included in the distribution for copyright and licensing details.

download

The current version series is @major@ -- the most recent available release (as a source tarball) is divine-@version@.tar.gz. You can also download nightly snapshots or fetch the source code from our version control repository (you may need to install darcs):
$ darcs get http://divine.fi.muni.cz/current divine
To build the sources, you only need to run make. For a summary of changes between releases, please consult our release notes and for help with installation, detailed installation instructions are available in our manual.
Alternatively, you can also download older versions. Please note, however, that DiVinE Cluster, DiVinE Multi-Core and ProbDiVinE have been discontinued and the 3.x branch of DIVINE is no longer actively maintained either.

static binaries for linux

Since building DIVINE can be a time-consuming process, we provide pre-built static binaries for Linux on amd64 / x86_64. If you are not running Linux, you can instead try one of the VM images below.