mcrl2 201107.1-1 / usr / share / doc / mcrl2 / examples / games

This file is indexed.

/usr/share/doc/mcrl2/examples/games/ is in mcrl2 201107.1-1.

This file is owned by root:root, with mode 0o755.

File Mime Type Owner Mode Size
..
/usr/share/doc/mcrl2/examples/games/clobber/ root:root 0o755
/usr/share/doc/mcrl2/examples/games/clobber/clobber.mcrl2 text/plain root:root 0o644 3.8 KB
/usr/share/doc/mcrl2/examples/games/clobber/nodeadlock.mcf text/plain root:root 0o644 148 bytes
/usr/share/doc/mcrl2/examples/games/clobber/run.py text/plain root:root 0o644 260 bytes
/usr/share/doc/mcrl2/examples/games/domineering/ root:root 0o755
/usr/share/doc/mcrl2/examples/games/domineering/domineering.mcrl2 text/plain root:root 0o644 3.0 KB
/usr/share/doc/mcrl2/examples/games/domineering/eventually_player1_or_player2_wins.mcf text/plain root:root 0o644 49 bytes
/usr/share/doc/mcrl2/examples/games/domineering/nodeadlock.mcf text/plain root:root 0o644 148 bytes
/usr/share/doc/mcrl2/examples/games/domineering/player1_can_win.mcf text/plain root:root 0o644 35 bytes
/usr/share/doc/mcrl2/examples/games/domineering/player2_can_win.mcf text/plain root:root 0o644 35 bytes
/usr/share/doc/mcrl2/examples/games/domineering/run.py text/plain root:root 0o644 849 bytes
/usr/share/doc/mcrl2/examples/games/four_in_a_row/ root:root 0o755
/usr/share/doc/mcrl2/examples/games/four_in_a_row/four_in_a_row.mcrl2.gz application/gzip root:root 0o644 2.2 KB
/usr/share/doc/mcrl2/examples/games/four_in_a_row/run.py text/plain root:root 0o644 76 bytes
/usr/share/doc/mcrl2/examples/games/hex/ root:root 0o755
/usr/share/doc/mcrl2/examples/games/hex/hex.mcrl2 text/plain root:root 0o644 3.8 KB
/usr/share/doc/mcrl2/examples/games/knights/ root:root 0o755
/usr/share/doc/mcrl2/examples/games/knights/knights.mcrl2.gz application/gzip root:root 0o644 1.5 KB
/usr/share/doc/mcrl2/examples/games/knights/run.py text/plain root:root 0o644 65 bytes
/usr/share/doc/mcrl2/examples/games/magic_square/ root:root 0o755
/usr/share/doc/mcrl2/examples/games/magic_square/magic_square.mcrl2 text/plain root:root 0o644 944 bytes
/usr/share/doc/mcrl2/examples/games/magic_square/run.py text/plain root:root 0o644 75 bytes
/usr/share/doc/mcrl2/examples/games/othello/ root:root 0o755
/usr/share/doc/mcrl2/examples/games/othello/exists_draw.mcf text/plain root:root 0o644 28 bytes
/usr/share/doc/mcrl2/examples/games/othello/nodeadlock.mcf text/plain root:root 0o644 148 bytes
/usr/share/doc/mcrl2/examples/games/othello/othello.mcrl2.gz application/gzip root:root 0o644 2.9 KB
/usr/share/doc/mcrl2/examples/games/othello/red_can_win.mcf text/plain root:root 0o644 31 bytes
/usr/share/doc/mcrl2/examples/games/othello/red_wins_always.mcf text/plain root:root 0o644 507 bytes
/usr/share/doc/mcrl2/examples/games/othello/run.py text/plain root:root 0o644 1.2 KB
/usr/share/doc/mcrl2/examples/games/othello/white_can_win.mcf text/plain root:root 0o644 33 bytes
/usr/share/doc/mcrl2/examples/games/othello/white_wins_always.mcf text/plain root:root 0o644 516 bytes
/usr/share/doc/mcrl2/examples/games/peg_solitaire/ root:root 0o755
/usr/share/doc/mcrl2/examples/games/peg_solitaire/peg_solitaire.mcrl2.gz application/gzip root:root 0o644 2.6 KB
/usr/share/doc/mcrl2/examples/games/peg_solitaire/run.py text/plain root:root 0o644 233 bytes
/usr/share/doc/mcrl2/examples/games/rubiks_cube/ root:root 0o755
/usr/share/doc/mcrl2/examples/games/rubiks_cube/rubiks_cube.mcrl2.gz application/gzip root:root 0o644 2.0 KB
/usr/share/doc/mcrl2/examples/games/rubiks_cube/run.py text/plain root:root 0o644 74 bytes
/usr/share/doc/mcrl2/examples/games/snake/ root:root 0o755
/usr/share/doc/mcrl2/examples/games/snake/black_can_win.mcf text/plain root:root 0o644 32 bytes
/usr/share/doc/mcrl2/examples/games/snake/black_has_winning_strategy.mcf text/plain root:root 0o644 206 bytes
/usr/share/doc/mcrl2/examples/games/snake/eventually_white_or_black_wins.mcf text/plain root:root 0o644 45 bytes
/usr/share/doc/mcrl2/examples/games/snake/run.py text/plain root:root 0o644 729 bytes
/usr/share/doc/mcrl2/examples/games/snake/snake.mcrl2 text/plain root:root 0o644 4.0 KB
/usr/share/doc/mcrl2/examples/games/snake/white_can_win.mcf text/plain root:root 0o644 33 bytes
/usr/share/doc/mcrl2/examples/games/snake/white_has_winning_strategy.mcf text/plain root:root 0o644 206 bytes
/usr/share/doc/mcrl2/examples/games/wolf_goat_cabbage/ root:root 0o755
/usr/share/doc/mcrl2/examples/games/wolf_goat_cabbage/nodeadlock.mcf text/plain root:root 0o644 148 bytes
/usr/share/doc/mcrl2/examples/games/wolf_goat_cabbage/run.py text/plain root:root 0o644 330 bytes
/usr/share/doc/mcrl2/examples/games/wolf_goat_cabbage/wolf_goat_cabbage.mcrl2 text/plain root:root 0o644 1.9 KB

APT Browse - Built by Thomas Orozco.