Home
last modified time | relevance | path

Searched refs:sokoban (Results 1 – 25 of 325) sorted by relevance

12345678910>>...13

/dports/math/py-cryptominisat/cryptominisat-5.8.0/scripts/aws/config/
H A Dsatcomp16_updated240 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 Dsatcomp16_updated240 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 Dmakefile9 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 Dother.map219 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 DREADME10 - 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 DREADME.Linux1 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 DREADME.v213 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 Dbug335.mzn29 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 DREADME17 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 DREADME23 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 DREADME.md14 - [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 DREADME.md14 - [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 DREADME.md14 - [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 DREADME.md14 - [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 DREADME.md15 - [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 DREADME.md15 - [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 DREADME.md15 - [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 DREADME.md15 - [sokoban-go](https://github.com/rn2dy/sokoban-go) is an implementation of sokoban game.
/dports/games/powder/powder118_src/rooms/
H A Dsokoban.map1 # Sample sokoban style level.
/dports/games/keeperrl/keeperrl-alpha23/
H A Dstair_key.h11 static StairKey sokoban();
H A Dstair_key.cpp22 StairKey StairKey::sokoban() { in sokoban() function in StairKey
/dports/lang/clisp/clisp-df3b9f6fdcff22832898e89a989eb499c0f842ed/modules/clx/new-clx/demos/
H A DREADME3 Some are original with CLISP (notably sokoban).
/dports/net/rclone/rclone-1.57.0/vendor/github.com/nsf/termbox-go/
H A DREADME.md20 - [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 DREADME.md20 - [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 DREADME.md19 - [sokoban-go](https://github.com/rn2dy/sokoban-go) is an implementation of sokoban game.

12345678910>>...13