Installing SeaHorn
Feel home!

Currently, the best way to install SeaHorn is to build it from the source code.

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

Written by SeaHorn on 14 October 2016