Artur Meski af26ca543b Examples and clean-ups (#1) ...

- Attempt at implementing an example for DRS
- Complete reactions set
- New automaton
- Formula
- Fixed automaton scaling
- Proc index in the formula
- Benchmark generators
- Scripts to reproduce experiments for reaction mining

2023-11-06 21:09:08 +00:00

6.0 KiB

Executable File

Raw Permalink Blame History

View Raw