[YICES-HELP] Shared library

[Bruno Dutertre]

Paulo J. Matos wrote:
> 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,

We already distribute dynamic libraries for Yices. You can get
them by downloading a version with GMP dynamically linked.

Bruno