Installing SeaHorn
Feel home!

Currently, there are two supported ways of installing SeaHorn.

Build SeaHorn from source code:

A common problem after installation is a mismatch between Clang and LLVM versions. SeaHorn installs LLVM 3.8 so make sure you SeaHorn can find Clang 3.8.

Use the Docker image:

Read about using SeaHorn with Docker here.

Written by SeaHorn on 14 October 2016