/winchester

Fast and effective automaton software that can simulate acceptance tests in a state machine style also providing support for validation, minimization and complement generation.

Primary LanguageC++MIT LicenseMIT

Issues