SourceXtractorPlusPlus
SourceXtractorPlusPlus copied to clipboard
Use rng seed instead of time()
New parameter option --rng-seed. Default is 42 instead of using the system timer to generate a new one on each run.