/dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/examples/fd/ |
H A D | Queens.java | 83 IntVar queens[] = new IntVar[numberQ]; in modelBasic() local 137 IntVar queens[] = new IntVar[numberQ]; in modelChanneling() local 193 IntVar queens[] = new IntVar[numberQ]; in model() local
|
/dports/math/py-or-tools/or-tools-9.2/ortools/sat/samples/ |
H A D | NQueensSat.java | 58 private final IntVar[] queens; field in NQueensSat.SolutionPrinter 71 IntVar[] queens = new IntVar[boardSize]; in main() local
|
H A D | NQueensSat.cs | 26 public SolutionPrinter(IntVar[] queens) in SolutionPrinter()
|
H A D | nqueens_sat.py | 27 def __init__(self, queens): argument
|
H A D | nqueens_sat.cc | 36 std::vector<IntVar> queens; in NQueensSat() local
|
/dports/lang/gscheme/GScheme/examples/ |
H A D | queenspic.scm | 34 (define queens unknown
|
H A D | queens.scm | 41 (define queens unknown
|
/dports/math/py-mip/mip-1.13.0/examples/ |
H A D | queens.py | 11 queens = Model() variable
|
/dports/lang/mosml/mosml-ver-2.10.1/examples/small/ |
H A D | queens.sml | 27 fun queens n = accuqueens (List.tabulate(n, fn x => x+1)) [] [] function
|
/dports/math/py-or-tools/or-tools-9.2/ortools/constraint_solver/samples/ |
H A D | NQueensCp.java | 36 IntVar[] queens = new IntVar[boardSize]; in main() local
|
H A D | nqueens_cp.cc | 34 std::vector<IntVar*> queens; in NQueensCp() local
|
/dports/math/z3/z3-z3-4.8.13/examples/userPropagator/ |
H A D | example.cpp | 184 std::vector<z3::expr> queens; in createQueens() local 192 … createConstraints(z3::context &context, z3::solver &solver, const std::vector<z3::expr> &queens) { in createConstraints() 220 std::vector<z3::expr> queens = createQueens(context, num); in test01() local 274 std::vector<z3::expr> queens = createQueens(context, num); in test23() local
|
/dports/devel/cc65/cc65-2.19/test/ref/ |
H A D | 8q.c | 24 void queens(int c) in queens() function
|
/dports/lang/clisp/clisp-df3b9f6fdcff22832898e89a989eb499c0f842ed/modules/queens/ |
H A D | queens.c | 8 int queens (int n) in queens() function
|
/dports/games/freedoko/FreeDoko_0.7.19/src/player/ai/solo_decision/ |
H A D | color.cpp | 126 auto const queens = hand.count(Card::queen); in estimated_points_for_queens() local
|
/dports/textproc/libxslt/libxslt-1.1.34/tests/XSLTMark/ |
H A D | Makefile.am | 532 queens: queens.xml $(xsltproc) target
|
/dports/math/gecode/gecode-0916a1a/examples/ |
H A D | crowded-chess.cpp | 189 IntVarArray queens, ///< Row of queen in column x member in CrowdedChess
|
/dports/math/py-or-tools/or-tools-9.2/examples/cpp/ |
H A D | nqueens.cc | 202 std::vector<IntVar*> queens; in NQueens() local
|
/dports/games/crafty/crafty-25.2_1/ |
H A D | tbprobe.c | 90 uint64_t queens; member 1605 uint64_t kings, uint64_t queens, uint64_t rooks, uint64_t bishops, in tb_probe_wdl_impl() 1643 uint64_t kings, uint64_t queens, uint64_t rooks, uint64_t bishops, in tb_probe_root_impl()
|
/dports/games/scid/scid/src/ |
H A D | optable.cpp | 23 bool queens = MATSIG_HasQueens (msig); in endgameTheme() local
|
/dports/games/cataclysm-dda-tiles/Cataclysm-DDA-0.F/src/ |
H A D | monattack.cpp | 4998 std::list<monster *> queens; in mon_leech_evolution() local
|
/dports/games/cataclysm-dda/Cataclysm-DDA-0.F/src/ |
H A D | monattack.cpp | 4998 std::list<monster *> queens; in mon_leech_evolution() local
|
/dports/www/orangehrm/orangehrm-4.9/symfony/lib/vendor/bjeavons/zxcvbn-php/src/Matchers/ |
H A D | ranked_frequency_lists.json | 1 …n":8,"margaret":9,"dorothy":10,"lisa":11,"nancy":12,"karen":13,"betty":14,"helen":15,"sandra":16,"…
|