2 Commits

Author	SHA1	Message	Date
Lars Toenning	f1084fb309	Fix references to license file ... The license file was renamed with 6a502cc2f5	2022-10-28 11:30:15 +02:00
Martin Hořeňovský	dc001fa935	Allow easy retrieval of RNG seed by the users ... This makes it so that they don't need parallel RNG seed passing infrastructure for randomized data generation (e.g. inputs for benchmarks).	2022-08-18 23:23:18 +02:00