v.1.3.0

emuskardin released this 29 Nov 21:00

· 294 commits to master since this release

b646779

Major note: our implementation of KV with 'rs' counterexample processing on average requires much less system interaction than L*

Major changes

Added KV
Optimized and rewrite non-deterministic learning

Minor additions

minimize method for deterministic automata
small bug fixes

Assets 2