On Mon, Mar 25, 2019 at 4:49 PM Stephen Siegel siegel@udel.edu wrote:

Is there a C (not C++) interface for Spot? I want to call Spot from my C program.

Hi Stephen,

No there is no C interface to Spot. But since it's easy to link C and C++, you can easily write a C++ file that exposes whatever service you need as a C function.

LTSmin, written mostly in C, do such a thing for LTL translation via Spot to their own automaton structure.