AUR (en) - divine

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

Git Clone URL:	https://aur.archlinux.org/divine.git (read-only, click to copy)
Package Base:	divine
Description:	Explicit-state model checker
Upstream URL:	http://divine.fi.muni.cz
Licenses:	custom:BSD3
Submitter:	mgrabovsky
Maintainer:	None
Last Packager:	mgrabovsky
Votes:	0
Popularity:	0.000000
First Submitted:	2016-03-22 14:25 (UTC)
Last Updated:	2016-03-23 14:06 (UTC)

llvm (llvm-git^AUR, llvm-minimal-git^AUR)
llvm-libs (llvm-libs-git^AUR)
openmpi (openmpi-git^AUR)
byacc (make)
cmake (cmake3^AUR, cmake-git^AUR) (make)
flex (flex-git^AUR) (make)
boost (boost-git^AUR) (optional) – for verification of UPPAAL timed automata
boost-libs (optional) – for verification of UPPAAL timed automata
clang (llvm-git^AUR, clang-minimal-git^AUR, clang17-bin^AUR) (optional) – for building LLVM bitcode
libxml2 (libxml2-git^AUR, libxml2-meson-git^AUR) (optional) – for verification of UPPAAL timed automata
qt4^AUR (optional) – for GUI capabilities