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.

Download

The latest release of DIVINE is 4.1, available as a source tarball: divine-4.1.2.tar.gz. You can also download nightly snapshots or fetch the source code from our version control repository (you may need to install darcs):

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.

Linux Binaries

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.

Virtual Machine Images

In addition to static binaries, we provide pre-built VM images (again for amd64/x86_46 processors). You can download the latest image in the form of an OVA Appliance (tested with VirtualBox), or a compressed VDI disk image (tested with QEMU and VirtualBox; has to be extracted first, for example using unxz). If you choose the VDI image, please make sure to include a serial port in the configuration of the VM (it need not be connected) as the VM will not boot 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).