[YICES-HELP] Shared library
bruno at csl.sri.com
Thu May 17 11:25:00 PDT 2007
Paulo J. Matos wrote:
> 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.
We already distribute dynamic libraries for Yices. You can get
them by downloading a version with GMP dynamically linked.
More information about the YICES-HELP