Index of /backup/Downloads/prism-4.8.1-linux64-x86/prism-examples/simple/dice/

../
README.txt                                         12-Jan-2024 23:19                 500
auto                                               12-Jan-2024 23:19                 395
dice.pctl                                          12-Jan-2024 23:19                 238
dice.pm                                            12-Jan-2024 23:19                 531
two_dice.nm                                        12-Jan-2024 23:19                 636
two_dice.pctl                                      12-Jan-2024 23:19                 210
two_dice_knuth.pctl                                12-Jan-2024 23:19                 110
two_dice_knuth.pm                                  12-Jan-2024 23:19                2054