divineas 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/COPYINGincluded in the distribution for copyright and licensing details.
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 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
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
x86_64. If you are not running Linux, you can instead try one of the VM images below.