Examples and clean-ups #1

Merged
Ghost merged 14 commits from drs_examples into master 2023-11-06 21:09:08 +00:00

14 Commits

Author SHA1 Message Date
Artur Meski
a4d7d82edd clean-up 2024-08-30 07:58:58 +01:00
Artur Meski
64cff38e84 wip 2024-08-30 07:54:48 +01:00
Artur Meski
47e03694e4 Scripts to reproduce experiments for reaction mining 2023-11-06 21:07:01 +00:00
Artur Meski
e9589cd0d9 Summary 2023-09-24 10:51:51 +01:00
Artur Meski
0173fd6562 benchmark generator 2023-09-23 15:17:11 +01:00
Artur Meski
b7d5eae9e5 benchmarking script 2023-09-23 10:36:38 +01: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
7505acc6a6 Merge remote-tracking branch 'origin/master' into drs_examples 2023-07-11 21:05:17 +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