/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/TypeCheck/Solver/ |
H A D | Types.hs | 24 data Solved = SolvedIf [Prop] -- ^ Solved, assuming the sub-goals. type 31 elseTry :: Solved -> Solved -> Solved 35 solveOpts :: [Solved] -> Solved 39 matchThen :: Maybe a -> (a -> Solved) -> Solved 43 guarded :: Bool -> Solved -> Solved 48 instance PP Solved where
|
H A D | Numeric.hs | 33 cryIsEqual :: Ctxt -> Type -> Type -> Solved 54 cryIsNotEqual :: Ctxt -> Type -> Type -> Solved 58 cryIsGeq :: Ctxt -> Type -> Type -> Solved 87 cryIsPrime :: Ctxt -> Type -> Solved 119 tryGeqKThan :: Ctxt -> Type -> Nat' -> Match Solved 173 tryMinIsGeq :: Type -> Type -> Match Solved 233 tryEqMin :: Type -> Type -> Match Solved 243 tryEqMins :: Type -> Type -> Match Solved 272 tryEqVar :: Type -> TVar -> Match Solved 308 tryEqK :: Ctxt -> Type -> Nat' -> Match Solved [all …]
|
H A D | Class.hs | 43 solveValidFloat :: Type -> Type -> Solved 68 solveZeroInst :: Type -> Solved 109 solveLogicInst :: Type -> Solved 149 solveRingInst :: Type -> Solved 190 solveRingSeq :: Type -> Type -> Solved 209 solveIntegralInst :: Type -> Solved 234 solveFieldInst :: Type -> Solved 276 solveRoundInst :: Type -> Solved 319 solveEqInst :: Type -> Solved 359 solveCmpInst :: Type -> Solved [all …]
|
/dports/math/reduce/Reduce-svn5758-src/xmpl/ |
H A D | cdiff.rlg | 642 equ(3): Solved for c(1) 644 equ(4): Solved for c(2) 646 equ(5): Solved for c(3) 650 equ(7): Solved for c(5) 654 equ(9): Solved for c(7) 656 equ(10): Solved for c(8) 660 equ(12): Solved for c(10) 662 equ(13): Solved for c(11) 664 equ(14): Solved for c(12) 668 equ(16): Solved for c(13) [all …]
|
/dports/math/reduce/Reduce-svn5758-src/packages/cdiff/ |
H A D | cdiff.rlg | 642 equ(3): Solved for c(1) 644 equ(4): Solved for c(2) 646 equ(5): Solved for c(3) 650 equ(7): Solved for c(5) 654 equ(9): Solved for c(7) 656 equ(10): Solved for c(8) 660 equ(12): Solved for c(10) 662 equ(13): Solved for c(11) 664 equ(14): Solved for c(12) 668 equ(16): Solved for c(13) [all …]
|
/dports/math/deal.ii/dealii-803d21ff957e349b3799cd3ef2c840bc78734305/examples/step-64/doc/ |
H A D | results.dox | 10 Solved in 27 iterations. 16 Solved in 60 iterations. 22 Solved in 114 iterations. 28 Solved in 227 iterations.
|
/dports/games/picmi/picmi-21.12.3/src/gui/ |
H A D | selectboardwindow.cpp | 43 Solved, enumerator 88 case Solved: return (level->solved()) ? Time(level->solvedTime()).toString() : "-"; in data() 102 case Solved: return QVariant(ki18nc("board solved", "Solved").toString()); in headerData() 153 case Solved: cmp = (order == Qt::AscendingOrder) ? solvedLessThan : solvedGreaterThan; break; in sort() 195 ui->tableView->showColumn(LevelTableModel::Solved); in SelectBoardWindow() 198 ui->tableView->sortByColumn(LevelTableModel::Solved, Qt::DescendingOrder); in SelectBoardWindow()
|
/dports/games/scummvm/scummvm-2.5.1/devtools/create_achievements/gen/ |
H A D | steam-574420.ini | 57 item_27_title=Solved The 1919 Case 59 item_28_title=Solved The Ashberg Heist 61 item_29_title=Solved The Mystery of the Cloche Hat
|
/dports/devel/libslang2/slang-2.3.2/src/curses/ |
H A D | hanoi.c | 63 int Solved(int NumTiles); 129 } while(!Solved(NTiles)); in main() 142 if(Solved(NTiles)) { in main() 276 Solved(int NumTiles) in Solved() function
|
/dports/japanese/libslang/slang-1.4.5jp2/src/curses/ |
H A D | hanoi.c | 63 int Solved(int NumTiles); 129 } while(!Solved(NTiles)); in main() 142 if(Solved(NTiles)) { in main() 276 Solved(int NumTiles) in Solved() function
|
/dports/games/freecell-solver/freecell-solver-6.2.0/ |
H A D | TODO.asciidoc | 78 Verdict: Solved ; Iters: 156 ; Length: 87 88 Verdict: Solved ; Iters: 1325 ; Length: 115 97 Verdict: Solved ; Iters: 615 ; Length: 77 106 Verdict: Solved ; Iters: 195331 ; Length: 98 108 Verdict: Solved ; Iters: 111 ; Length: 92 122 Verdict: Solved ; Iters: 157905 ; Length: 109 124 Verdict: Solved ; Iters: 433 ; Length: 89
|
/dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/wx/examples/sudoku/ |
H A D | sudoku_game.erl | 127 Solved = get_known(S0), 131 end, S1, Solved). 219 solve(Rem, false, _St, [Solved|_], Unsolved, _) -> {true, [Solved], Rem ++ Unsolved}; 220 solve([], _, _St, Solved, [], _) -> {true, Solved, []}; 221 solve([], _, _St, Solved, Unsolved, Unsolved) -> {false, Solved, Unsolved}; 222 solve([], _, St, Solved, Unsolved, _Orig) -> 223 solve(Unsolved,true,St,Solved,[],lists:reverse(Unsolved));
|
/dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/lib/wx/examples/sudoku/ |
H A D | sudoku_game.erl | 127 Solved = get_known(S0), 131 end, S1, Solved). 219 solve(Rem, false, _St, [Solved|_], Unsolved, _) -> {true, [Solved], Rem ++ Unsolved}; 220 solve([], _, _St, Solved, [], _) -> {true, Solved, []}; 221 solve([], _, _St, Solved, Unsolved, Unsolved) -> {false, Solved, Unsolved}; 222 solve([], _, St, Solved, Unsolved, _Orig) -> 223 solve(Unsolved,true,St,Solved,[],lists:reverse(Unsolved));
|
/dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/wx/examples/sudoku/ |
H A D | sudoku_game.erl | 127 Solved = get_known(S0), 131 end, S1, Solved). 219 solve(Rem, false, _St, [Solved|_], Unsolved, _) -> {true, [Solved], Rem ++ Unsolved}; 220 solve([], _, _St, Solved, [], _) -> {true, Solved, []}; 221 solve([], _, _St, Solved, Unsolved, Unsolved) -> {false, Solved, Unsolved}; 222 solve([], _, St, Solved, Unsolved, _Orig) -> 223 solve(Unsolved,true,St,Solved,[],lists:reverse(Unsolved));
|
/dports/lang/erlang-wx/otp-OTP-24.1.7/lib/wx/examples/sudoku/ |
H A D | sudoku_game.erl | 127 Solved = get_known(S0), 131 end, S1, Solved). 219 solve(Rem, false, _St, [Solved|_], Unsolved, _) -> {true, [Solved], Rem ++ Unsolved}; 220 solve([], _, _St, Solved, [], _) -> {true, Solved, []}; 221 solve([], _, _St, Solved, Unsolved, Unsolved) -> {false, Solved, Unsolved}; 222 solve([], _, St, Solved, Unsolved, _Orig) -> 223 solve(Unsolved,true,St,Solved,[],lists:reverse(Unsolved));
|
/dports/lang/erlang-runtime24/otp-OTP-24.1.7/lib/wx/examples/sudoku/ |
H A D | sudoku_game.erl | 127 Solved = get_known(S0), 131 end, S1, Solved). 219 solve(Rem, false, _St, [Solved|_], Unsolved, _) -> {true, [Solved], Rem ++ Unsolved}; 220 solve([], _, _St, Solved, [], _) -> {true, Solved, []}; 221 solve([], _, _St, Solved, Unsolved, Unsolved) -> {false, Solved, Unsolved}; 222 solve([], _, St, Solved, Unsolved, _Orig) -> 223 solve(Unsolved,true,St,Solved,[],lists:reverse(Unsolved));
|
/dports/lang/erlang-java/otp-OTP-24.1.7/lib/wx/examples/sudoku/ |
H A D | sudoku_game.erl | 127 Solved = get_known(S0), 131 end, S1, Solved). 219 solve(Rem, false, _St, [Solved|_], Unsolved, _) -> {true, [Solved], Rem ++ Unsolved}; 220 solve([], _, _St, Solved, [], _) -> {true, Solved, []}; 221 solve([], _, _St, Solved, Unsolved, Unsolved) -> {false, Solved, Unsolved}; 222 solve([], _, St, Solved, Unsolved, _Orig) -> 223 solve(Unsolved,true,St,Solved,[],lists:reverse(Unsolved));
|
/dports/lang/erlang/otp-OTP-24.1.7/lib/wx/examples/sudoku/ |
H A D | sudoku_game.erl | 127 Solved = get_known(S0), 131 end, S1, Solved). 219 solve(Rem, false, _St, [Solved|_], Unsolved, _) -> {true, [Solved], Rem ++ Unsolved}; 220 solve([], _, _St, Solved, [], _) -> {true, Solved, []}; 221 solve([], _, _St, Solved, Unsolved, Unsolved) -> {false, Solved, Unsolved}; 222 solve([], _, St, Solved, Unsolved, _Orig) -> 223 solve(Unsolved,true,St,Solved,[],lists:reverse(Unsolved));
|
/dports/games/picmi/picmi-21.12.3/po/en_GB/ |
H A D | picmi.po | 490 msgid "Board Solved!" 491 msgstr "Board Solved!" 521 msgid "Solved" 522 msgstr "Solved" 593 msgid "Solved: %1" 594 msgstr "Solved: %1" 599 msgid "Solved: -" 600 msgstr "Solved: -" 629 msgid "Solved: -" 630 msgstr "Solved: -" [all …]
|
/dports/devel/ncurses/ncurses-6.3/test/ |
H A D | hanoi.c | 224 Solved(int NumTiles) in Solved() function 335 } while (!Solved(NTiles)); in main() 349 if (Solved(NTiles)) { in main()
|
/dports/devel/hyperscan/boost_1_75_0/libs/geometry/doc/ |
H A D | release_notes.qbk | 36 [*Solved issues] 57 [*Solved issues] 77 [*Solved issues] 104 [*Solved issues] 126 [*Solved issues] 143 [*Solved issues] 174 [*Solved issues] 198 [*Solved issues] 227 [*Solved issues] 250 [*Solved issues] [all …]
|
/dports/devel/boost-docs/boost_1_72_0/libs/geometry/doc/ |
H A D | release_notes.qbk | 35 [*Solved issues] 57 [*Solved issues] 74 [*Solved issues] 105 [*Solved issues] 129 [*Solved issues] 158 [*Solved issues] 181 [*Solved issues] 202 [*Solved issues] 234 [*Solved issues] 240 [*Solved tickets] [all …]
|
/dports/devel/boost-python-libs/boost_1_72_0/libs/geometry/doc/ |
H A D | release_notes.qbk | 35 [*Solved issues] 57 [*Solved issues] 74 [*Solved issues] 105 [*Solved issues] 129 [*Solved issues] 158 [*Solved issues] 181 [*Solved issues] 202 [*Solved issues] 234 [*Solved issues] 240 [*Solved tickets] [all …]
|
/dports/devel/boost-libs/boost_1_72_0/libs/geometry/doc/ |
H A D | release_notes.qbk | 35 [*Solved issues] 57 [*Solved issues] 74 [*Solved issues] 105 [*Solved issues] 129 [*Solved issues] 158 [*Solved issues] 181 [*Solved issues] 202 [*Solved issues] 234 [*Solved issues] 240 [*Solved tickets] [all …]
|
/dports/devel/p5-Asm-Preproc/Asm-Preproc-1.03/ |
H A D | Changes | 38 * Solved problem with test scripts: 43 * Solved problem with test scripts:
|