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. -- Alexandre Duret-Lutz