Home
last modified time | relevance | path

Searched refs:Horn (Results 1 – 25 of 2187) sorted by relevance

12345678910>>...88

/dports/math/teyjus/teyjus-2.1-7-ge63f40a/examples/handbook/logic/
H A DREADME33 hc_interp.sig A interpreter for Horn clauses logic
36 hcinterp_examples.sig Code for testing out the Horn clause logic
45 in the Horn clause fragment of logic
47 hcsyntax_examples.sig Code for testing out the Horn clause logic
57 script2, of the code for the Horn clause interpreter,
/dports/misc/otter/otter-3.3f/mace2/
H A Db2.out55 10 clauses remain; 2 of those are non-Horn (selectable);
87 24 clauses remain; 10 of those are non-Horn (selectable);
119 39 clauses remain; 16 of those are non-Horn (selectable);
151 54 clauses remain; 19 of those are non-Horn (selectable);
183 71 clauses remain; 21 of those are non-Horn (selectable);
215 91 clauses remain; 23 of those are non-Horn (selectable);
247 114 clauses remain; 25 of those are non-Horn (selectable);
279 140 clauses remain; 27 of those are non-Horn (selectable);
311 169 clauses remain; 29 of those are non-Horn (selectable);
343 201 clauses remain; 31 of those are non-Horn (selectable);
[all …]
/dports/games/cuyo/cuyo-2.1.0/datasrc/pics/
H A DmdEgo.inc50 #macro Horn(hoehe,winkel)
218 Horn(1.3, -9)
219 Horn(1.2, -7)
220 Horn(1.1, -5)
221 Horn(1, -3)
222 Horn(0.9, -1)
223 Horn(0.8, 1)
/dports/games/openbve/OpenBVE-1.8.2.1/source/TrainManager/Train/
H A DHorn.cs9 public class Horn class
31 public Horn(CarBase car) in Horn() method in TrainManager.Trains.Horn
40 …public Horn(SoundBuffer startSound, SoundBuffer loopSound, SoundBuffer endSound, bool loop, CarBas… in Horn() method in TrainManager.Trains.Horn
/dports/math/gap/gap-4.11.0/pkg/OpenMath-11.5.0/doc/
H A Dmanual.bib2 …AUTHOR = {Sebastian Freundt and Peter Horn and Alexander Konovalov and Sylla Lesseni and Steve Lin…
8 …AUTHOR = {Sebastian Freundt and Peter Horn and Alexander Konovalov and Sylla Lesseni and Steve Lin…
20 …AUTHOR = {Sebastian Freundt and Peter Horn and Alexander Konovalov and Steve Linton and Dan Roozem…
/dports/audio/playmidi/playmidi-2.4/techref/
H A DMIDI-MT3287 85 Engl Horn
94 92 Fr Horn 1
95 93 Fr Horn 2
/dports/graphics/xfractint/xfractint-20.04p16/formulas/
H A Dfract002.frm435 MandConj01(XAXIS) {; Paul J. Horn, see MandelConj.
442 MandConj02(XAXIS) {; Paul J. Horn, see MandelConj.
449 MandConj03(XAXIS) {; Paul J. Horn
456 MandConj04(XAXIS) {; Paul J. Horn
463 MandConj05(XAXIS) {; Paul J. Horn
470 MandConj06(XAXIS) {; Paul J. Horn
477 MandConj07(XAXIS) {; Paul J. Horn
484 MandConj08(XAXIS) {; Paul J. Horn
491 MandConj09 {; Paul J. Horn
498 MandConj10 {; Paul J. Horn
[all …]
/dports/math/py-z3-solver/z3-z3-4.8.10/src/muz/
H A DREADME1 muZ: routines related to solving satisfiability of Horn clauses and
8 - pdr - PDR based Horn clause solver
/dports/math/z3/z3-z3-4.8.13/src/muz/
H A DREADME1 muZ: routines related to solving satisfiability of Horn clauses and
8 - pdr - PDR based Horn clause solver
/dports/print/lilypond-devel/lilypond-2.23.5/input/regression/
H A Dmozart-hrn-3.ly3 subtitle = "für Horn und Orchester"
9 instrument = "Horn in F"
11 mutopiatitle = "Horn Concerto 3"
/dports/print/lilypond/lilypond-2.22.1/input/regression/
H A Dmozart-hrn-3.ly3 subtitle = "für Horn und Orchester"
9 instrument = "Horn in F"
11 mutopiatitle = "Horn Concerto 3"
/dports/games/pcgen/pcgen/data/3e/dragonwing_games/bastion_press/efaeries_web/
H A Defaeries_equipment.lst8 The Master of the Hunt Horn TYPE:Magic.Wondrous.Horn SOURCEPAGE:p.11 SPELLS:Magic Item|TIMES=ATWILL…
/dports/misc/otter/otter-3.3f/examples-mace2/lattice/
H A Dml-mol.out75 16 clauses remain; 2 of those are non-Horn (selectable);
107 109 clauses remain; 5 of those are non-Horn (selectable);
139 97 clauses remain; 5 of those are non-Horn (selectable);
171 3188 clauses remain; 21 of those are non-Horn (selectable);
203 11152 clauses remain; 34 of those are non-Horn (selectable);
235 30235 clauses remain; 51 of those are non-Horn (selectable);
267 69392 clauses remain; 72 of those are non-Horn (selectable);
299 141490 clauses remain; 97 of those are non-Horn (selectable);
331 264028 clauses remain; 126 of those are non-Horn (selectable);
H A Dol-e1.out90 74 clauses remain; 10 of those are non-Horn (selectable);
122 337 clauses remain; 13 of those are non-Horn (selectable);
154 545 clauses remain; 41 of those are non-Horn (selectable);
186 2934 clauses remain; 146 of those are non-Horn (selectable);
218 7744 clauses remain; 224 of those are non-Horn (selectable);
250 17745 clauses remain; 256 of those are non-Horn (selectable);
282 36588 clauses remain; 278 of those are non-Horn (selectable);
314 69317 clauses remain; 303 of those are non-Horn (selectable);
346 122620 clauses remain; 332 of those are non-Horn (selectable);
/dports/misc/otter/otter-3.3f/examples-mace2/iterate/
H A Dkauer.out36 15 clauses remain; 4 of those are non-Horn (selectable);
67 78 clauses remain; 12 of those are non-Horn (selectable);
98 224 clauses remain; 20 of those are non-Horn (selectable);
129 510 clauses remain; 30 of those are non-Horn (selectable);
160 1002 clauses remain; 42 of those are non-Horn (selectable);
191 1778 clauses remain; 56 of those are non-Horn (selectable);
H A Dnoncommutive_ring1.out61 8 clauses remain; 2 of those are non-Horn (selectable);
93 618 clauses remain; 9 of those are non-Horn (selectable);
125 3667 clauses remain; 21 of those are non-Horn (selectable);
157 13733 clauses remain; 35 of those are non-Horn (selectable);
189 39178 clauses remain; 52 of those are non-Horn (selectable);
221 93380 clauses remain; 73 of those are non-Horn (selectable);
253 195932 clauses remain; 98 of those are non-Horn (selectable);
H A Dnoncommutative_group.out29 8 clauses remain; 2 of those are non-Horn (selectable);
61 365 clauses remain; 13 of those are non-Horn (selectable);
93 1603 clauses remain; 21 of those are non-Horn (selectable);
125 5073 clauses remain; 30 of those are non-Horn (selectable);
157 12987 clauses remain; 41 of those are non-Horn (selectable);
/dports/graphics/libvisual04-plugins/libvisual-plugins-0.4.0/
H A DAUTHORS31 by Jan Horn <jhorn@global.co.za>
33 Jan Horn <jhorn@global.co.za>
38 by Jan Horn <jhorn@global.co.za>
/dports/graphics/libprojectm/projectm-3.1.12/src/projectM-libvisual/
H A DAUTHORS31 by Jan Horn <jhorn@global.co.za>
33 Jan Horn <jhorn@global.co.za>
38 by Jan Horn <jhorn@global.co.za>
/dports/games/pcgen/pcgen/data/pathfinder/paizo/roleplaying_game/core_essentials/
H A Dce_profs_armor.lst16 Lamellar (Horn)
44 #Lamellar (Horn)
/dports/games/pcgen/pcgen/data/3e/fantasy_flight_games/midnight_campaign/against_the_shadow/
H A Dats_equipmods_mundane.lst7 Horn KEY:HORN TYPE:BaseMaterial.Weapon COST:0 VISIBLE:YES ITYPE:Horn SOURCEPAGE:p.81
/dports/math/gap/gap-4.11.0/pkg/SCSCP-2.3.1/doc/
H A Dmanual.bib37 …AUTHOR = {Sebastian Freundt and Peter Horn and Alexander Konovalov and Sylla Lesseni and Steve Lin…
43 …AUTHOR = {Sebastian Freundt and Peter Horn and Alexander Konovalov and Sylla Lesseni and Steve Lin…
49 …AUTHOR = {Sebastian Freundt and Peter Horn and Alexander Konovalov and Steve Linton and Dan Roozem…
/dports/math/gap/gap-4.11.0/pkg/utils-0.69/lib/
H A Dmagma.gd3 #W magma.gd GAP4 package `Utils' Max Horn
26 ## this function was private code of Max Horn
/dports/graphics/dataplot/dataplot-2c1b27601a3b7523449de612613eadeead9a8f70/lib/data/
H A DINN.DAT17 Factor 6 = Horn Depth (-1=5 mm, +1=10 mm)
23 Light Solute Gas Water Horn Flask
/dports/math/libnormaliz/normaliz-3.9.0/
H A DAUTHORS7 Max Horn has joined the Normaliz team in January 2020.
21 Sebastian Gutsche, Max Horn and Christof Söger (GAP)

12345678910>>...88