Interface and API to various state machine inference tools