| /dports/science/dakota/dakota-6.13.0-release-public.src-UI/packages/external/muq2/modules/Modeling/src/ |
| H A D | ODEBase.cpp | 50 slvr = LinearSolver::Dense; in ODEBase()
52 slvr = LinearSolver::SPGMR; in ODEBase()
54 slvr = LinearSolver::SPBCG; in ODEBase()
56 slvr = LinearSolver::SPTFQMR; in ODEBase()
128 if( slvr==LinearSolver::Dense ) { // dense linear solver in CreateSolverMemoryB()
141 if( slvr==LinearSolver::SPGMR ) { in CreateSolverMemoryB()
144 } else if( slvr==LinearSolver::SPBCG ) { in CreateSolverMemoryB()
147 } else if( slvr==LinearSolver::SPTFQMR ) { in CreateSolverMemoryB()
214 if( slvr==LinearSolver::SPGMR ) { in CreateSolverMemory()
217 } else if( slvr==LinearSolver::SPBCG ) { in CreateSolverMemory()
[all …]
|
| /dports/math/py-or-tools/or-tools-9.2/examples/contrib/ |
| H A D | fsequality.fs | 33 let slvr = opts |> lpSolve |> SolverSummary
34 slvr |> ignore
|
| H A D | fsvolsay3-lpSolve.fs | 27 let slvr = opts |> lpSolve |> SolverSummary
28 slvr |> ignore
|
| H A D | fsnetwork-max-flow-lpSolve.fs | 37 let slvr = opts |> lpSolve
38 slvr |> SolverSummary
|
| /dports/math/z3/z3-z3-4.8.13/examples/dotnet/ |
| H A D | Program.cs | 2052 Solver slvr = ctx.MkSolver("QF_FP"); in FloatingPointExample1()
2053 slvr.Add(ctx.MkFPEq(nan, k)); in FloatingPointExample1()
2054 if (slvr.Check() != Status.UNSATISFIABLE) in FloatingPointExample1()
2056 Console.WriteLine("OK, unsat:" + Environment.NewLine + slvr); in FloatingPointExample1()
2059 slvr = ctx.MkSolver("QF_FP"); in FloatingPointExample1()
2060 slvr.Add(ctx.MkEq(nan, nan)); in FloatingPointExample1()
2061 if (slvr.Check() != Status.SATISFIABLE) in FloatingPointExample1()
2063 Console.WriteLine("OK, sat:" + Environment.NewLine + slvr); in FloatingPointExample1()
2070 slvr = ctx.MkSolver("QF_FP"); in FloatingPointExample1()
2073 slvr.Add(ctx.MkNot(ctx.MkFPEq(x_plus_y, r))); in FloatingPointExample1()
[all …]
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/examples/dotnet/ |
| H A D | Program.cs | 2052 Solver slvr = ctx.MkSolver("QF_FP"); in FloatingPointExample1()
2053 slvr.Add(ctx.MkFPEq(nan, k)); in FloatingPointExample1()
2054 if (slvr.Check() != Status.UNSATISFIABLE) in FloatingPointExample1()
2056 Console.WriteLine("OK, unsat:" + Environment.NewLine + slvr); in FloatingPointExample1()
2059 slvr = ctx.MkSolver("QF_FP"); in FloatingPointExample1()
2060 slvr.Add(ctx.MkEq(nan, nan)); in FloatingPointExample1()
2061 if (slvr.Check() != Status.SATISFIABLE) in FloatingPointExample1()
2063 Console.WriteLine("OK, sat:" + Environment.NewLine + slvr); in FloatingPointExample1()
2070 slvr = ctx.MkSolver("QF_FP"); in FloatingPointExample1()
2073 slvr.Add(ctx.MkNot(ctx.MkFPEq(x_plus_y, r))); in FloatingPointExample1()
[all …]
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVBenchSuite/BenchSuite/Bench/ |
| H A D | Bench.hs | 142 runStandaloneSolver (slvr, fname) =
147 where command = U.mkExecString slvr fname
|
| /dports/math/z3/z3-z3-4.8.13/examples/java/ |
| H A D | JavaExample.java | 2160 Solver slvr = ctx.mkSolver("QF_FP"); in floatingPointExample1() local
2161 slvr.add(ctx.mkFPEq(nan, k)); in floatingPointExample1()
2162 if (slvr.check() != Status.UNSATISFIABLE) in floatingPointExample1()
2164 System.out.println("OK, unsat:" + System.getProperty("line.separator") + slvr); in floatingPointExample1()
2167 slvr = ctx.mkSolver("QF_FP"); in floatingPointExample1()
2168 slvr.add(ctx.mkEq(nan, nan)); in floatingPointExample1()
2169 if (slvr.check() != Status.SATISFIABLE) in floatingPointExample1()
2171 System.out.println("OK, sat:" + System.getProperty("line.separator") + slvr); in floatingPointExample1()
2178 slvr = ctx.mkSolver("QF_FP"); in floatingPointExample1()
2181 slvr.add(ctx.mkNot(ctx.mkFPEq(x_plus_y, r))); in floatingPointExample1()
[all …]
|
| H A D | JavaGenericExample.java | 1964 Solver slvr = ctx.mkSolver("QF_FP"); in floatingPointExample1() local
1965 slvr.add(ctx.mkFPEq(nan, k)); in floatingPointExample1()
1966 if (slvr.check() != Status.UNSATISFIABLE) in floatingPointExample1()
1968 System.out.printf("OK, unsat:%n%s%n", slvr); in floatingPointExample1()
1971 slvr = ctx.mkSolver("QF_FP"); in floatingPointExample1()
1972 slvr.add(ctx.mkEq(nan, nan)); in floatingPointExample1()
1973 if (slvr.check() != Status.SATISFIABLE) in floatingPointExample1()
1975 System.out.printf("OK, sat:%n%s%n", slvr); in floatingPointExample1()
1982 slvr = ctx.mkSolver("QF_FP"); in floatingPointExample1()
1986 if (slvr.check() != Status.UNSATISFIABLE) in floatingPointExample1()
[all …]
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/examples/java/ |
| H A D | JavaExample.java | 2160 Solver slvr = ctx.mkSolver("QF_FP"); in floatingPointExample1() local
2161 slvr.add(ctx.mkFPEq(nan, k)); in floatingPointExample1()
2162 if (slvr.check() != Status.UNSATISFIABLE) in floatingPointExample1()
2164 System.out.println("OK, unsat:" + System.getProperty("line.separator") + slvr); in floatingPointExample1()
2167 slvr = ctx.mkSolver("QF_FP"); in floatingPointExample1()
2168 slvr.add(ctx.mkEq(nan, nan)); in floatingPointExample1()
2169 if (slvr.check() != Status.SATISFIABLE) in floatingPointExample1()
2171 System.out.println("OK, sat:" + System.getProperty("line.separator") + slvr); in floatingPointExample1()
2178 slvr = ctx.mkSolver("QF_FP"); in floatingPointExample1()
2181 slvr.add(ctx.mkNot(ctx.mkFPEq(x_plus_y, r))); in floatingPointExample1()
[all …]
|
| H A D | JavaGenericExample.java | 1933 Solver slvr = ctx.mkSolver("QF_FP");
1934 slvr.add(ctx.mkFPEq(nan, k));
1935 if (slvr.check() != Status.UNSATISFIABLE)
1937 System.out.printf("OK, unsat:%n%s%n", slvr);
1940 slvr = ctx.mkSolver("QF_FP");
1941 slvr.add(ctx.mkEq(nan, nan));
1942 if (slvr.check() != Status.SATISFIABLE)
1944 System.out.printf("OK, sat:%n%s%n", slvr);
1951 slvr = ctx.mkSolver("QF_FP");
1955 if (slvr.check() != Status.UNSATISFIABLE)
[all …]
|
| /dports/science/dakota/dakota-6.13.0-release-public.src-UI/packages/external/muq2/MUQ/Modeling/ |
| H A D | ODEBase.h | 151 LinearSolver slvr; variable
|
| /dports/security/py-pycryptodomex/pycryptodome-3.10.1/Doc/LEGAL/copy/stmts/ |
| H A D | Barry_A_Warsaw.mbox | 81 Received: from mail.wooz.org (216-15-33-230.c3-0.slvr-ubr2.lnh-slvr.md.static.cable.rcn.com [216.15…
|
| /dports/security/py-pycryptodome/pycryptodome-3.10.1/Doc/LEGAL/copy/stmts/ |
| H A D | Barry_A_Warsaw.mbox | 81 Received: from mail.wooz.org (216-15-33-230.c3-0.slvr-ubr2.lnh-slvr.md.static.cable.rcn.com [216.15…
|
| /dports/security/py-pycrypto/pycrypto-2.6.1/LEGAL/copy/stmts/ |
| H A D | Barry_A_Warsaw.mbox | 81 Received: from mail.wooz.org (216-15-33-230.c3-0.slvr-ubr2.lnh-slvr.md.static.cable.rcn.com [216.15…
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Provers/ |
| H A D | Prover.hs | 583 satConcurrentWithAny solver qs a = do (slvr,time,result) <- sbvConcurrentWithAny solver go qs a
584 return (slvr, time, SatResult result)
590 proveConcurrentWithAny solver qs a = do (slvr,time,result) <- sbvConcurrentWithAny solver go qs a
591 return (slvr, time, ThmResult result)
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Control/ |
| H A D | Utils.hs | 1567 let slvr = solver cfg function
1568 backend = engine slvr
1572 || isJust (supportsDeltaSat (capabilities slvr))
1577 … , "*** But the chosen solver (" ++ show (name slvr) ++ ") does not support"
|
| /dports/astro/weather/weather-2.4.2/ |
| H A D | slist | 5281 slvr
|
| H A D | airports | 11029 station = slvr
|
| H A D | stations | 29584 [slvr]
|
| /dports/textproc/py-orange3-text/orange3-text-1.3.1/orangecontrib/text/datasets/ |
| H A D | 20newsgroups-test.tab | 2627 …r croutons framestore compress instructional video scsi cd rom drive sony slvr uc svhs vcr new war…
|