Home
last modified time | relevance | path

Searched refs:butler (Results 1 – 25 of 504) sorted by relevance

12345678910>>...21

/dports/misc/otter/otter-3.3f/examples-mace2/iterate/
H A DPUZ001-3.out23 0 [] lives(butler).
31 0 [] -hates(agatha,X)|hates(butler,X).
32 0 [] -lives(X)|richer(X,agatha)|hates(butler,X).
41 2 [] lives(butler).
49 10 [] -hates(agatha,X)|hates(butler,X).
50 11 [] -lives(X)|richer(X,agatha)|hates(butler,X).
56 2 [] -equal(butler,A)|lives(A).
62 6 [] -equal(butler,A)| -hates(B,A)|$Connect3(B).
67 10 [] -equal(butler,A)|hates(A,B)| -$Connect4(B).
72 12 [] -equal(butler,A)|killed(A,B)|$Connect6(B).
[all …]
H A DPUZ001-3.in9 % Agatha, the butler, and Charles live in Dreadbury Mansion,
13 % everyone except the butler. The butler hates everyone not
14 % richer than Aunt Agatha. The butler hates everyone Aunt
16 % butler. Therefore : Agatha killed herself.
46 % butler, axiom.
47 lives(butler).
62 -hates(X, butler) |
77 hates(butler, X).
82 hates(butler, X).
90 killed(butler, agatha) |
/dports/games/cdogs-sdl/cdogs-sdl-1.0.1/build/appveyor/
H A Dbutler.bat11 echo "Preparing butler..."
12 curl -L -o butler.zip https://broth.itch.ovh/butler/windows-amd64/LATEST/archive/default
13 7z x -y butler.zip
14 butler -V
17 butler push --userversion !VERSION! %%f !PROJECT!:win
/dports/games/renpy/renpy-7.4.11-sdk/launcher/game/
H A Ditch.rpy28 exe = "butler.exe"
31 exe = "butler"
34 exe = "butler"
36 dn = os.path.join(config.renpy_base, "tmp", "butler-" + platform)
37 zip = os.path.join(dn, "butler.zip")
43 interface.processing(_("Downloading the itch.io butler."))
52 with interface.error_handling(_("Downloading the itch.io butler.")):
85 butler = find_itch_butler()
139 if not butler:
141 _("The butler program was not found."),
[all …]
/dports/graphics/tiled/tiled-1.7.2/dist/win/
H A Dpush-to-itch.bat1 curl -fsS -o butler.exe https://dl.itch.ovh/butler/windows-amd64/head/butler.exe
2 butler.exe push --userversion=%TILED_VERSION% release/install-root thorbjorn/tiled:%TILED_ITCH_CHAN…
/dports/graphics/tiled/tiled-1.7.2/dist/linux/
H A Dpush-to-itch.sh3 curl -JOL https://broth.itch.ovh/butler/linux-amd64/LATEST/archive/default
4 unzip butler-linux-amd64.zip
5 ./butler push --userversion=$TILED_VERSION Tiled thorbjorn/tiled:linux-64bit-snapshot
/dports/graphics/tiled/tiled-1.7.2/dist/macos/
H A Dpush-to-itch.sh5 curl -JOL https://broth.itch.ovh/butler/darwin-amd64/LATEST/archive/default
6 unzip butler-darwin-amd64.zip
7 ./butler push --userversion=$TILED_VERSION itch thorbjorn/tiled:macos-snapshot
/dports/math/py-or-tools/or-tools-9.2/examples/notebook/contrib/
H A Dwho_killed_agatha.ipynb100 " Agatha, the butler, and Charles live in Dreadsbury Mansion, and\n",
103 " hates everybody except the butler. The butler hates everyone not richer\n",
104 " than Aunt Agatha. The butler hates everyone whom Agatha hates.\n",
174 "butler = 1\n",
220 "# Agatha hates everybody except the butler.\n",
223 "solver.Add(hates[agatha][butler] == 0)\n",
225 "# The butler hates everyone not richer than Aunt Agatha.\n",
227 "# (richer[i, agatha] = 0) => (hates[butler, i] = 1),\n",
231 "# The butler hates everyone whom Agatha hates.\n",
233 "# (hates[agatha, i] = 1) => (hates[butler, i] = 1),\n",
[all …]
/dports/math/py-or-tools/or-tools-9.2/examples/contrib/
H A Dwho_killed_agatha.cs35 int butler = 1; in Solve()
102 solver.Add(hates[agatha, butler] == 0); in Solve()
109 solver.Add((richer[i, agatha] == 0) - (hates[butler, i] == 1) <= 0); in Solve()
117 solver.Add((hates[agatha, i] == 1) - (hates[butler, i] == 1) <= 0); in Solve()
H A Dwho_killed_agatha.py99 butler = 1
148 solver.Add(hates[agatha][butler] == 0)
154 solver.Add((richer[i][agatha] == 0) <= (hates[butler][i] == 1))
160 solver.Add((hates[agatha][i] == 1) <= (hates[butler][i] == 1))
H A DWhoKilledAgatha.java36 final int butler = 1; in solve() local
125 solver.addConstraint(solver.makeEquality(hates[agatha][butler], 0)); in solve()
132 IntVar b2b = solver.makeIsEqualCstVar(hates[butler][i], 1); in solve()
141 IntVar b3b = solver.makeIsEqualCstVar(hates[butler][i], 1); in solve()
/dports/math/cvc4/CVC4-1.7/test/regress/regress1/fmf/
H A DPUZ001+1.smt210 ;% Agatha, the butler, and Charles live in Dreadbury Mansion,
14 ;% everyone except the butler. The butler hates everyone not
15 ;% richer than Aunt Agatha. The butler hates everyone Aunt
17 ;% butler. Therefore : Agatha killed herself.
/dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/examples/fd/
H A DWhoKilledAgatha.java84 int butler = 1; in model() local
134 store.impose(new XeqC(hates[agatha][butler], 0)); in model()
148 store.impose(new IfThen(new XeqC(richer[i][agatha], 0), new XeqC(hates[butler][i], 1))); in model()
154 store.impose(new IfThen(new XeqC(hates[agatha][i], 1), new XeqC(hates[butler][i], 1))); in model()
/dports/games/frogatto/frogatto-1.3.1/modules/frogatto/data/objects/props-interactive/npcs/
H A Dkitty_butler_npc.cfg36 image: "enemies/kitty-butler.png",
95 image: "enemies/kitty-butler.png",
/dports/math/maxima/maxima-5.43.2/share/contrib/unicodedata/
H A Dunicodedata.system2 ;; Copyright Leo Butler (leo.butler@member.fsf.org) 2015
/dports/math/maxima/maxima-5.43.2/share/contrib/smath/
H A Dsmath.mac3 ;; Copyright Leo Butler (leo.butler@member.fsf.org) 2013
/dports/games/xmahjongg/xmahjongg-3.7/src/
H A Dpanel.cc197 butler(Game *g) in butler() function
213 return butler(g) + 1; in butler()
295 if (butler(g)) in command()
/dports/science/py-geomet/geomet-0.3.0/geomet.egg-info/
H A DPKG-INFO7 Maintainer-email: lars.butler@gmail.com
/dports/science/py-geomet/geomet-0.3.0/
H A DPKG-INFO7 Maintainer-email: lars.butler@gmail.com
/dports/graphics/tiled/tiled-1.7.2/.github/workflows/
H A Dpackages.yml309 curl -JOL https://broth.itch.ovh/butler/linux-amd64/LATEST/archive/default
310 unzip butler-linux-amd64.zip
319 ./butler push --userversion=${TILED_VERSION} upload thorbjorn/tiled:${ITCH_CHANNEL}
/dports/deskutils/gcal/gcal-4.1/data/
H A Dansipic.rc35 0 butler~� �~ > ~ -- ~��
/dports/www/firefox/firefox-99.0/docs/contributing/
H A Dengineering_show_and_tell.rst73 - https://manytricks.com/download/butler/
/dports/audio/ardour6/Ardour-6.8.0/libs/ardour/
H A DChangeLog71 on hidden diskstreams and routes. the butler thread still works on
H A Ddisk_io.cc191 const size_t size = _session.butler()->midi_buffer_size(); in configure_io()
/dports/devel/py-snakeviz/snakeviz-2.1.1/
H A DCHANGES.rst10 * Fix SnakeViz for Windows and Python 3.8 (thanks @daniel-butler in #139).

12345678910>>...21