SESf: A Symbolic Execution engine for Stateflow models.

The SESf is a library that generates the symbolic transition relation for a given Stateflow program.

The library is written in Python 3.6.9