PV1 ⊧ MeMinminimizes Mealy machines
SAT-based minimizer for Mealy machinesApplication domain/field
- Mealy machines
- Minimization
Type of tool
Minimizer for Mealy machinesExpected input
Mealy machineFormat:
KISS2 formatExpected output
result.kiss
file describing the minimized Mealy machine.