| /dports/lang/chibi-scheme/chibi-scheme-0.10/benchmarks/gabriel/ |
| H A D | kanren.sch | 2093 (define-syntax solve function
|
| /dports/devel/spark/spark-2.1.1/mllib/src/main/scala/org/apache/spark/ml/recommendation/ |
| H A D | ALS.scala | 512 def solve(ne: NormalEquation, lambda: Double): Array[Float] method
|
| /dports/math/hmat-oss/hmat-oss-1.7.1/src/ |
| H A D | h_matrix.cpp | 2425 void HMatrix<T>::solve(ScalarArray<T>* b) const { in solve() function in hmat::HMatrix
2435 void HMatrix<T>::solve(FullMatrix<T>* b) const { in solve() function in hmat::HMatrix
2574 template<typename T> void HMatrix<T>::solve( in solve() function in hmat::HMatrix
|
| /dports/cad/yosys/yosys-yosys-0.12/libs/subcircuit/ |
| H A D | subcircuit.cc | 1513 …void solve(std::vector<Solver::Result> &results, std::string needleGraphId, std::string haystackGr… in solve() function in SubCircuit::SolverWorker
1666 void SubCircuit::Solver::solve(std::vector<Result> &results, std::string needleGraphId, std::string… in solve() function in SubCircuit::Solver
1672 void SubCircuit::Solver::solve(std::vector<Result> &results, std::string needleGraphId, std::string… in solve() function in SubCircuit::Solver
|
| /dports/math/z3/z3-z3-4.8.13/src/qe/mbp/ |
| H A D | mbp_term_graph.cpp | 1009 expr_ref_vector solve() { in solve() function in mbp::term_graph::projector
1136 expr_ref_vector term_graph::solve() { in solve() function in mbp::term_graph
|
| /dports/games/qqwing/qqwing-1.3.4/src/cpp/ |
| H A D | qqwing.cpp | 505 bool SudokuBoard::solve(){ in solve() function in qqwing::SudokuBoard
511 bool SudokuBoard::solve(int round){ in solve() function in qqwing::SudokuBoard
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/qe/mbp/ |
| H A D | mbp_term_graph.cpp | 1009 expr_ref_vector solve() { in solve() function in mbp::term_graph::projector
1136 expr_ref_vector term_graph::solve() { in solve() function in mbp::term_graph
|
| /dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/mlir/lib/Transforms/ |
| H A D | SCCP.cpp | 327 void SCCPSolver::solve() { in solve() function in SCCPSolver
|
| /dports/math/freefem++/FreeFem-sources-4.6/plugin/mpi/ |
| H A D | hpddm_substructuring.cpp | 570 void solve(U out) const { in operator ()() function in Substructuring::InvSubstructuring
|
| /dports/math/freefem++/FreeFem-sources-4.6/src/femlib/ |
| H A D | VirtualMatrix.hpp | 52 R* solve(R *x,R*b,int N=1,int transpo=0) const in solve() function in VirtualMatrix
|
| /dports/cad/yosys/yosys-yosys-0.12/passes/cmds/ |
| H A D | qwp.cc | 206 void solve(bool alt_mode = false) in solve() function
|
| /dports/math/py-cryptominisat/cryptominisat-5.8.0/python/src/ |
| H A D | pycryptosat.cpp.in | 743 static PyObject* solve(Solver *self, PyObject *args, PyObject *kwds) function
|
| /dports/math/cryptominisat/cryptominisat-5.8.0/python/src/ |
| H A D | pycryptosat.cpp.in | 743 static PyObject* solve(Solver *self, PyObject *args, PyObject *kwds) function
|
| /dports/math/cvc3/cvc3-2.4.1/src/sat/ |
| H A D | xchaff_solver.cpp | 804 int CSolver::solve(bool allowNewClauses) in solve() function in CSolver
|
| /dports/math/alberta/alberta3-920315ae1bbfd1b1fb6672d916619ac37a411e95/add_ons/static_condensation/demo/Common/ |
| H A D | mini-stokes.c | 546 static void solve(MESH *mesh) in solve() function
|
| /dports/lang/ghc/ghc-8.10.7/libraries/Cabal/cabal-install/tests/UnitTests/Distribution/Solver/Modular/ |
| H A D | QuickCheck.hs | 170 solve enableBj fineGrainedConflicts reorder countConflicts indep goalOrder test = function
|
| /dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/mlir/lib/Transforms/ |
| H A D | SCCP.cpp | 328 void SCCPSolver::solve() { in solve() function in SCCPSolver
|
| /dports/math/minizinc/libminizinc-2.5.5/solvers/MIP/ |
| H A D | MIP_cplex_wrap.cpp | 1089 void MIPCplexWrapper::solve() { // Move into ancestor? in solve() function in MIPCplexWrapper
|
| /dports/math/linbox/linbox-1.6.3/linbox/algorithms/ |
| H A D | block-lanczos.inl | 130 Vector &BlockLanczosSolver<Field, Matrix>::solve (const Blackbox &A, Vector &x, const Vector &b) function in LinBox::BlockLanczosSolver
|
| /dports/misc/ompl/ompl-1.5.2/src/ompl/geometric/planners/informedtrees/src/ |
| H A D | AITstar.cpp | 171 …ompl::base::PlannerStatus AITstar::solve(const ompl::base::PlannerTerminationCondition &terminatio… in solve() function in ompl::geometric::AITstar
|
| /dports/devel/hs-cabal-install/cabal-cabal-install-3.4.0.0/cabal-install/tests/UnitTests/Distribution/Solver/Modular/ |
| H A D | QuickCheck.hs | 169 solve enableBj fineGrainedConflicts reorder countConflicts indep goalOrder test = function
|
| /dports/misc/dartsim/dart-6.11.1/dart/optimizer/snopt/ |
| H A D | SnoptInterface.cpp | 298 SnoptInterface::Return SnoptInterface::solve(double *x, double *lo_bounds, in solve() function in dart::optimizer::snopt::SnoptInterface
|
| /dports/math/singular/Singular-Release-4-2-1/IntegerProgramming/ |
| H A D | IP_algorithms.cc | 2408 int solve(INPUT_FILE PROBLEM, INPUT_FILE GROEBNER) in solve() function
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/mlir/lib/Transforms/ |
| H A D | SCCP.cpp | 330 void SCCPSolver::solve() { in solve() function in SCCPSolver
|
| /dports/devel/llvm12/llvm-project-12.0.1.src/mlir/lib/Transforms/ |
| H A D | SCCP.cpp | 328 void SCCPSolver::solve() { in solve() function in SCCPSolver
|