Searched refs:allSolvers (Results 1 – 6 of 6) sorted by relevance
| /dports/math/cbc/Cbc-releases-2.10.5/Cbc/examples/ |
| H A D | parallel.cpp | 93 OsiClpSolverInterface *allSolvers = new OsiClpSolverInterface[numberModels]; in main() local
98 OsiClpSolverInterface &solver1 = allSolvers[0]; in main()
121 allSolvers[iModel] = solver1; in main()
129 allModels[iModel] = CbcModel(allSolvers[iModel]); in main()
217 delete[] allSolvers; in main()
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/ |
| H A D | SBVConnectionTest.hs | 21 main = do let allSolvers = map (\s -> (solverName s, s)) [abc, boolector, cvc4, mathSAT, yices, z3,… function
26 [] -> allSolvers
28 walk (c:cs) = case c `lookup` allSolvers of
42 allKnown = sort $ map fst allSolvers
|
| /dports/math/minizinc-ide/MiniZincIDE-2.5.5/MiniZincIDE/ |
| H A D | process.cpp | 169 QJsonArray allSolvers = jd.array(); in setLocation() local
170 for (auto item : allSolvers) { in setLocation()
|
| /dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/Symbolic/ |
| H A D | What4.hs | 146 , ("w4-any" , allSolvers)
149 allSolvers :: W4ProverConfig
150 allSolvers = W4Portfolio function
|
| /dports/devel/hs-cabal-install/cabal-cabal-install-3.4.0.0/cabal-install/Distribution/Client/ |
| H A D | Setup.hs | 1739 allSolvers :: String
1740 allSolvers = intercalate ", " (map prettyShow ([minBound .. maxBound] :: [PreSolver])) function
2567 …dency solver to use (default: " ++ prettyShow defaultSolver ++ "). Choices: " ++ allSolvers ++ ".")
2569 (reqArg "SOLVER" (parsecToReadE (const $ "solver must be one of: " ++ allSolvers)
|
| /dports/lang/ghc/ghc-8.10.7/libraries/Cabal/cabal-install/Distribution/Client/ |
| H A D | Setup.hs | 1848 allSolvers :: String
1849 allSolvers = intercalate ", " (map display ([minBound .. maxBound] :: [PreSolver])) function
2864 …pendency solver to use (default: " ++ display defaultSolver ++ "). Choices: " ++ allSolvers ++ ".")
2866 (reqArg "SOLVER" (readP_to_E (const $ "solver must be one of: " ++ allSolvers)
|