Commit Graph

13 Commits

Author SHA1 Message Date
Artur Meski
a4d7d82edd clean-up 2024-08-30 07:58:58 +01:00
Artur Meski
47e03694e4 Scripts to reproduce experiments for reaction mining 2023-11-06 21:07:01 +00:00
Artur Meski
1488ad1501 Proc index in the formula 2023-09-15 14:54:04 +01:00
Artur Meski
282f50bbf8 Fixed automaton scaling 2023-09-13 20:21:05 +01:00
Artur Meski
62e756693b Formula 2023-09-12 22:40:38 +01:00
Artur Meski
38bdb78090 New automaton 2023-09-12 22:07:38 +01:00
Artur Meski
89b9fb658b Generator 2023-09-12 17:09:23 +01:00
Artur Meski
6d8ee08dd3 Complete reactions set 2023-07-11 21:05:03 +01:00
Artur Meski
946a7d4145 Attempt at implementing Example 4 2023-06-14 20:48:28 +01:00
Artur Meski
6d0057c40f Examples file for TGC 2019-09-22 18:36:47 +01:00
Artur Meski
969f4fd90f TGC examples with generator (correct syntax) 2019-09-22 18:36:01 +01:00
Artur Meski
3cdf986959 TGC with generator 2019-09-22 18:30:33 +01:00
Artur Meski
835c7b898c TGC example for BDD 2019-09-22 18:26:42 +01:00