Draupnir Usage Manual This is Draupnir's usage manual. Index Introduction Synopsis Command Line Options State Dump Format Generation Examples Generating Random Natural Numbers Generating Random Real Numbers Generating Random Permutations Cycles Derangements Generating Random Samples With Replacement Unweighted Weighted Generating Random Samples Without Replacement Unweighted Weighted Splitting Examples n-wise Splitting Keeping the Original Reseeding Stepping Reading Commands from a File Introduction Synopsis Command Line Options State Dump Format Generation Examples Generating Random Natural Numbers Generating Random Real Numbers Generating Random Permutations Cycles Derangements Generating Random Samples With Replacement Unweighted Weighted Generating Random Samples Without Replacement Unweighted Weighted Splitting Examples n-wise Splitting Keeping the Original Reseeding Stepping Reading Commands from a File