[YICES-HELP] Shared library

[Paulo J. Matos]

Hello,

I'm trying to create an interface to yices from Scheme. However, the
scheme ffi (as in most of the other languages afaik) only accept .so
libraries (shared) to create interfaces from. Is it possible to
distribute a shared library of yices? It shouldn't be a problem given
that you already distribute a static one.

Cheers,

-- 
Paulo Jorge Matos - pocm at soton.ac.uk
http://www.personal.soton.ac.uk/pocm
PhD Student @ ECS
University of Southampton, UK