/dports/science/packmol/packmol-18.169/ |
H A D | restmol.f90 | 12 subroutine restmol(itype,ilubar,n,x,fx,solve) argument 21 logical :: solve, initsafe local
|
/dports/math/z3/z3-z3-4.8.13/src/qe/mbp/ |
H A D | mbp_solve_plugin.cpp | 70 bool solve(expr* lhs, expr* rhs, expr_ref& v, expr_ref& t) { in solve() function in mbp::arith_solve_plugin 251 expr_ref solve(expr* atom, bool is_pos) override { in solve() function in mbp::arith_solve_plugin 283 expr_ref solve(expr *atom, bool is_pos) override { in solve() function in mbp::basic_solve_plugin 324 expr_ref solve(expr *atom, bool is_pos) override { in solve() function in mbp::dt_solve_plugin 392 expr_ref solve(expr *atom, bool is_pos) override { in solve() function in mbp::bv_solve_plugin 410 expr_ref solve(expr *atom, bool is_pos) override { in solve() function in mbp::array_solve_plugin
|
H A D | mbp_datatypes.cpp | 39 bool solve(model& model, app_ref_vector& vars, expr_ref_vector& lits) { in solve() function 126 … bool solve(model& model, app_ref_vector& vars, expr* fml, expr_ref& t, expr_ref_vector& eqs) { in solve() function 143 …bool solve(model& model, app_ref_vector& vars, app* a, expr* b, expr_ref& t, expr_ref_vector& eqs)… in solve() function 299 bool datatype_project_plugin::solve(model& model, app_ref_vector& vars, expr_ref_vector& lits) { in solve() function in mbp::datatype_project_plugin
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/qe/mbp/ |
H A D | mbp_solve_plugin.cpp | 70 bool solve(expr* lhs, expr* rhs, expr_ref& v, expr_ref& t) { in solve() function in mbp::arith_solve_plugin 251 expr_ref solve(expr* atom, bool is_pos) override { in solve() function in mbp::arith_solve_plugin 283 expr_ref solve(expr *atom, bool is_pos) override { in solve() function in mbp::basic_solve_plugin 324 expr_ref solve(expr *atom, bool is_pos) override { in solve() function in mbp::dt_solve_plugin 392 expr_ref solve(expr *atom, bool is_pos) override { in solve() function in mbp::bv_solve_plugin 410 expr_ref solve(expr *atom, bool is_pos) override { in solve() function in mbp::array_solve_plugin
|
H A D | mbp_datatypes.cpp | 39 bool solve(model& model, app_ref_vector& vars, expr_ref_vector& lits) { in solve() function 126 … bool solve(model& model, app_ref_vector& vars, expr* fml, expr_ref& t, expr_ref_vector& eqs) { in solve() function 143 …bool solve(model& model, app_ref_vector& vars, app* a, expr* b, expr_ref& t, expr_ref_vector& eqs)… in solve() function 299 bool datatype_project_plugin::solve(model& model, app_ref_vector& vars, expr_ref_vector& lits) { in solve() function in mbp::datatype_project_plugin
|
/dports/math/SCIP/scip-7.0.3/tests/src/lpi/ |
H A D | solve.c | 487 Test(solve, test1) in Test() argument 565 Test(solve, test2) in Test() argument 638 Test(solve, test3) in Test() argument 704 Test(solve, test4) in Test() argument 750 Test(solve, test5) in Test() argument 846 Test(solve, test6) in Test() argument 961 Test(solve, test7) in Test() argument
|
/dports/science/InsightToolkit/ITK-5.0.1/Modules/ThirdParty/VNL/src/vxl/core/vnl/algo/ |
H A D | vnl_cholesky.cxx | 53 void vnl_cholesky::solve(vnl_vector<double> const& b, vnl_vector<double>* x) const in solve() function in vnl_cholesky 63 vnl_vector<double> vnl_cholesky::solve(vnl_vector<double> const& b) const in solve() function in vnl_cholesky
|
/dports/misc/vxl/vxl-3.3.2/core/vnl/algo/ |
H A D | vnl_cholesky.cxx | 58 vnl_cholesky::solve(vnl_vector<double> const & b, vnl_vector<double> * x) const in solve() function in vnl_cholesky 69 vnl_cholesky::solve(vnl_vector<double> const & b) const in solve() function in vnl_cholesky
|
/dports/math/ecos/ecos-2.0.8/test/qcml/ |
H A D | simple_tests.py | 24 def solve(s): function
|
/dports/math/py-ecos/ecos-python-2.0.8/ecos/test/qcml/ |
H A D | simple_tests.py | 24 def solve(s): function
|
/dports/math/py-CyLP/CyLP-0.91.4/cylp/py/ |
H A D | PySolve.py | 14 def solve(filename, method): function
|
/dports/math/couenne/Couenne-releases-0.5.8/Couenne/src/interfaces/ |
H A D | CouenneMINLPInterface.cpp | 23 CouNumber CouenneMINLPInterface::solve (CouNumber *solution) { in solve() function in CouenneMINLPInterface
|
/dports/lang/rust/rustc-1.58.1-src/src/test/ui/closures/2229_closure_analysis/run_pass/ |
H A D | issue-88372.rs | 5 fn solve<F>(validate: F) -> Option<u64> in solve() function
|
/dports/math/munkres-cpp/munkres-cpp-1.0.0-6-g61086fc/src/adapters/ |
H A D | adapter.h | 30 virtual void solve(Container &con) in solve() function
|
/dports/science/dakota/dakota-6.13.0-release-public.src-UI/packages/external/trilinos/packages/rol/adapters/minitensor/src/sol/ |
H A D | ROL_MiniTensor_MiniSolver_Def.hpp | 78 solve( in solve() function in ROL::MiniTensor_Minimizer 144 solve( in solve() function in ROL::MiniTensor_Minimizer 221 solve( in solve() function in ROL::MiniTensor_Minimizer 302 solve( in solve() function in ROL::MiniTensor_Minimizer
|
/dports/math/libmesh/libmesh-1.6.2/include/solvers/ |
H A D | linear_solver.h | 329 LinearSolver<T>::solve (SparseMatrix<T> & mat, in solve() function 346 LinearSolver<T>::solve (const ShellMatrix<T> & mat, in solve() function
|
/dports/science/py-pymol/pymol-open-source-2.4.0/modules/cealign/src/tnt/ |
H A D | jama_cholesky.h | 146 Array1D<Real> Cholesky<Real>::solve(const Array1D<Real> &b) in solve() function 188 Array2D<Real> Cholesky<Real>::solve(const Array2D<Real> &B) in solve() function
|
/dports/science/py-gpaw/gpaw-21.6.0/gpaw/lrtddft2/ |
H A D | lr_layouts.py | 141 def solve(self, A_orig, b_orig): member in LrTDDFPTSolveLayout 294 def solve(self, A, b): member in LrTDDFTLayouts
|
/dports/biology/dsr-pdb/dsr-pdb-1.0.3/include/tnt/ |
H A D | jama_cholesky.h | 146 Array1D<Real> Cholesky<Real>::solve(const Array1D<Real> &b) in solve() function 188 Array2D<Real> Cholesky<Real>::solve(const Array2D<Real> &B) in solve() function
|
/dports/math/sdpa/sdpa-7.3.8/ |
H A D | sdpa_solve.cpp | 65 void SDPA::solve() in solve() function in SDPA
|
/dports/lang/maude/maude-2.7.1/src/Core/ |
H A D | equalitySubproblem.cc | 47 EqualitySubproblem::solve(bool findFirst, RewritingContext& solution) in solve() function in EqualitySubproblem
|
/dports/www/gitlab-workhorse/gitlab-foss-0a901d60f8ae4a60c04ae82e6e9c3a03e9321417/.gitlab/issue_templates/ |
H A D | Productivity Improvement.md | 8 ### Problem identification checklist
|
/dports/graphics/ossim/ossim-OrchidIsland-2.11.1/src/base/ |
H A D | ossim2dLinearRegression.cpp | 16 void ossim2dLinearRegression::solve() in solve() function in ossim2dLinearRegression
|
/dports/math/apache-commons-math/commons-math3-3.6.1-src/src/main/java/org/apache/commons/math3/analysis/solvers/ |
H A D | BaseAbstractUnivariateSolver.java | 192 public double solve(int maxEval, FUNC f, double min, double max, double startValue) in solve() method in BaseAbstractUnivariateSolver 203 public double solve(int maxEval, FUNC f, double min, double max) { in solve() method in BaseAbstractUnivariateSolver 208 public double solve(int maxEval, FUNC f, double startValue) in solve() method in BaseAbstractUnivariateSolver
|
/dports/math/dune-fem/dune-fem-d1c625e6d51167d0cce57de6adcef21f548a8f82/dune/fem/misc/ |
H A D | umfpack.hh | 70 static void solve ( A ... args ) in solve() function 125 …static void solve ( int m, const int *cs, const int *ri, std::complex< double > *val, double *x, c… in solve() function 193 …static void solve ( int m, const int *cs, const int *ri, const Fem::Double *val, Fem::Double *x, c… in solve() function
|