4 Commits

Author	SHA1	Message	Date
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
Artur Meski	9e81dd9ba4	Readme, mutex benchmark	2019-09-29 16:19:31 +01:00
Artur Meski	bfe817fa73	Copyright	2019-09-22 19:58:06 +01:00
Artur Meski	b747a97db0	Parametric mutex example	2019-09-22 19:04:27 +01:00