DIVINE is free software, distributed under the ISC licence (2-clause BSD). De­tailed licence texts may be found in the doc/COPYING file in the distribution tarball. The distribution tarball includes freely redistributable third-party code. Please refer to doc/AUTHORS and doc/COPYING included in the distribution for co­pyright and licensing details.


The latest release of DIVINE is 4.0, available as a source tarball: divine-4.0.4.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.

Virtual Machine Images

Since building DIVINE can be a time-consuming process, we provide pre-built VM images for quick evaluation. You can download the latest image, either in form of an OVA Appliance (tested with VirtualBox), or compressed VDI disk image (tested with QEMU and VirtualBox, has to be extracted first, for example using unxz). If you choose the VDI image, be sure to include serial port in the configuration of the VM (it need not be connected) as the VM will not start otherwise.

The easiest way to use the OVA Appliance is to import it to VirtualBox and add a VirtualBox shared folder (machine’s settings → shared folders) named divine-vbox and then start the machine. It should then automatically mount this folder to /mnt/divine-vbox and you can run DIVINE on files in this folder (and edit them in your editor of choice outside of VirtualBox).

Some older VM images are also available.