I/O Logic Workbench 0.7
First stable release of the I/O Logic Workbench (IOLW).
IOLW features:
- Unconstrained I/O logic (since 0.1)
- Throughput (since 0.2)
- Constrained I/O logic (since 0.4)
- Calculation of finite basis of output set (since 0.5)
- Norm preferences (since 0.6)