25 Mar
2019
25 Mar
'19
5:43 p.m.
On Mon, Mar 25, 2019 at 4:49 PM Stephen Siegel <siegel(a)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