/dports/math/py-cryptominisat/cryptominisat-5.8.0/scripts/aws/config/ |
H A D | satcomp16_updated | 240 satcomp16/sokoban-p01.sas.ex.17.cnf.gz 241 satcomp16/sokoban-p04.sas.ex.13.cnf.gz 242 satcomp16/sokoban-p09.sas.cr.25.cnf.gz 243 satcomp16/sokoban-p10.sas.cr.35.cnf.gz 244 satcomp16/sokoban-p16.sas.cr.37.cnf.gz 245 satcomp16/sokoban-p16.sas.cr.39.cnf.gz 246 satcomp16/sokoban-p16.sas.ex.15.cnf.gz 247 satcomp16/sokoban-p16.sas.ex.17.cnf.gz 248 satcomp16/sokoban-p16.sas.ex.19.cnf.gz 249 satcomp16/sokoban-p16.sas.ex.21.cnf.gz [all …]
|
/dports/math/cryptominisat/cryptominisat-5.8.0/scripts/aws/config/ |
H A D | satcomp16_updated | 240 satcomp16/sokoban-p01.sas.ex.17.cnf.gz 241 satcomp16/sokoban-p04.sas.ex.13.cnf.gz 242 satcomp16/sokoban-p09.sas.cr.25.cnf.gz 243 satcomp16/sokoban-p10.sas.cr.35.cnf.gz 244 satcomp16/sokoban-p16.sas.cr.37.cnf.gz 245 satcomp16/sokoban-p16.sas.cr.39.cnf.gz 246 satcomp16/sokoban-p16.sas.ex.15.cnf.gz 247 satcomp16/sokoban-p16.sas.ex.17.cnf.gz 248 satcomp16/sokoban-p16.sas.ex.19.cnf.gz 249 satcomp16/sokoban-p16.sas.ex.21.cnf.gz [all …]
|
/dports/sysutils/heirloom/heirloom-070715/sed/test/ |
H A D | makefile | 9 all: math hanoi sokoban 14 $(INSTALL) -c sokoban $(DST)/sokoban 17 rm -f math hanoi sokoban core log *~
|
/dports/games/vultures-eye/vulture-2.3.67/slashem/win/share/ |
H A D | other.map | 219 tile 218 "cmap, wall, vertical, sokoban" 220 tile 219 "cmap, wall, horizontal, sokoban" 221 tile 220 "cmap, wall, top left corner, sokoban" 222 tile 221 "cmap, wall, top right corner, sokoban" 223 tile 222 "cmap, wall, bottom left corner, sokoban" 224 tile 223 "cmap, wall, bottom right corner, sokoban" 225 tile 224 "cmap, wall, crosswall, sokoban" 226 tile 225 "cmap, wall, tee up, sokoban" 227 tile 226 "cmap, wall, tee down, sokoban" 228 tile 227 "cmap, wall, tee left, sokoban" [all …]
|
/dports/games/sokoban/sokoban/ |
H A D | README | 10 - Edit the header file sokoban.h to alter the given defines 17 of the executable program. Because of that sokoban must run with setuid. 21 'sokoban -c') 30 number <nn>) and type sokoban -<nn>.
|
H A D | README.Linux | 1 This packages was originally a port of sokoban to minix. but with a 28 Dont forget to make a highscore file first, sokoban want work if you don't.
|
H A D | README.v2 | 13 I added some extra definitions to the header file sokoban.h so that it is 18 There is no helpfile anymore (sokoban.help in the first version). I
|
/dports/math/minizinc/libminizinc-2.5.5/tests/spec/unit/regression/ |
H A D | bug335.mzn | 29 POS: pInit; % initial sokoban position 35 array[STEPS] of var POS: sokPosn; % sokoban position 36 array[STEPS] of var MOVES: move; % sokoban position 45 %% no overlap of crates, walls and sokoban
|
/dports/lang/gforth/gforth-0.7.3/arch/misc/ |
H A D | README | 17 include arch/misc/sokoban.fs 27 Now type in "sokoban" <return> or "tt" <return> to play sokoban or
|
/dports/lang/gforth/gforth-0.7.3/arch/4stack/ |
H A D | README | 23 include arch/misc/sokoban.fs 34 Now type in "sokoban" <return> or "tt" <return> to play sokoban or
|
/dports/databases/mongodb36/mongodb-src-r3.6.23/src/mongo/gotools/src/github.com/mongodb/mongo-tools/vendor/github.com/nsf/termbox-go/ |
H A D | README.md | 14 - [sokoban-go](https://github.com/rn2dy/sokoban-go) is an implementation of sokoban game.
|
/dports/databases/mongodb42-tools/mongo-tools-r4.2.17/vendor/github.com/nsf/termbox-go/ |
H A D | README.md | 14 - [sokoban-go](https://github.com/rn2dy/sokoban-go) is an implementation of sokoban game.
|
/dports/net/go-bapu/carlostrub-bapu-23ca6b019fbc/vendor/github.com/nsf/termbox-go/ |
H A D | README.md | 14 - [sokoban-go](https://github.com/rn2dy/sokoban-go) is an implementation of sokoban game.
|
/dports/textproc/peco/peco-v0.4.4/vendor/github.com/nsf/termbox-go/ |
H A D | README.md | 14 - [sokoban-go](https://github.com/rn2dy/sokoban-go) is an implementation of sokoban game.
|
/dports/deskutils/pet/pet-0.4.0/vendor/github.com/nsf/termbox-go/ |
H A D | README.md | 15 - [sokoban-go](https://github.com/rn2dy/sokoban-go) is an implementation of sokoban game.
|
/dports/net-im/slack-term/slack-term-0.4.1/vendor/github.com/nsf/termbox-go/ |
H A D | README.md | 15 - [sokoban-go](https://github.com/rn2dy/sokoban-go) is an implementation of sokoban game.
|
/dports/net/tunneller/tunneller-release-0.6/vendor/github.com/nsf/termbox-go/ |
H A D | README.md | 15 - [sokoban-go](https://github.com/rn2dy/sokoban-go) is an implementation of sokoban game.
|
/dports/textproc/jid/jid-0.7.6/vendor/github.com/nsf/termbox-go/ |
H A D | README.md | 15 - [sokoban-go](https://github.com/rn2dy/sokoban-go) is an implementation of sokoban game.
|
/dports/games/powder/powder118_src/rooms/ |
H A D | sokoban.map | 1 # Sample sokoban style level.
|
/dports/games/keeperrl/keeperrl-alpha23/ |
H A D | stair_key.h | 11 static StairKey sokoban();
|
H A D | stair_key.cpp | 22 StairKey StairKey::sokoban() { in sokoban() function in StairKey
|
/dports/lang/clisp/clisp-df3b9f6fdcff22832898e89a989eb499c0f842ed/modules/clx/new-clx/demos/ |
H A D | README | 3 Some are original with CLISP (notably sokoban).
|
/dports/net/rclone/rclone-1.57.0/vendor/github.com/nsf/termbox-go/ |
H A D | README.md | 20 - [sokoban-go](https://github.com/rn2dy/sokoban-go) is an implementation of sokoban game.
|
/dports/games/neo-cowsay/Neo-cowsay-2.0.1/vendor/github.com/nsf/termbox-go/ |
H A D | README.md | 20 - [sokoban-go](https://github.com/rn2dy/sokoban-go) is an implementation of sokoban game.
|
/dports/benchmarks/ali/ali-0.7.5/vendor/github.com/nsf/termbox-go/ |
H A D | README.md | 19 - [sokoban-go](https://github.com/rn2dy/sokoban-go) is an implementation of sokoban game.
|