Release note:
We have to distribute one part of Blast precompiled
(the foci library, which implements the craig interpolation),
because the code is copyrighted by Cadence labs, Berkeley.
Unfortunately, this precompiled piece is not compatible with OCaml 3.08.04.
A working example configuration for compiling Blast 2.0 is
OCaml 3.08.3 and gcc (GCC) 3.4.4 20050721 (Red Hat 3.4.4-2).
--Dirk 2005-10-18