| /dports/lang/ghc/ghc-8.10.7/libraries/Cabal/cabal-install/Distribution/Solver/ |
| H A D | Modular.hs | 126 toProgress $ retry (runSolver printFullLog sc) createErrorMsg
128 runSolver :: Bool -> SolverConfig
130 runSolver keepLog sc' =
142 retry (tryToMinimizeConflictSet (runSolver printFullLog) sc cs cm) $
162 retry (runSolver printFullLog sc { pruneAfterFirstSuccess = PruneAfterFirstSuccess True }) $
185 in unlines ("Could not resolve dependencies:" : messages (toProgress (runSolver True sc')))
228 tryToMinimizeConflictSet runSolver sc cs cm =
262 retry (runSolver sc') $ \case
|
| /dports/devel/hs-cabal-install/cabal-cabal-install-3.4.0.0/cabal-install/Distribution/Solver/ |
| H A D | Modular.hs | 125 toProgress $ retry (runSolver printFullLog sc) createErrorMsg
127 runSolver :: Bool -> SolverConfig
129 runSolver keepLog sc' =
141 retry (tryToMinimizeConflictSet (runSolver printFullLog) sc cs cm) $
161 retry (runSolver printFullLog sc { pruneAfterFirstSuccess = PruneAfterFirstSuccess True }) $
184 in unlines ("Could not resolve dependencies:" : messages (toProgress (runSolver True sc')))
227 tryToMinimizeConflictSet runSolver sc cs cm =
261 retry (runSolver sc') $ \case
|
| /dports/cad/gmsh/gmsh-4.9.2-source/demos/api/ |
| H A D | prepro.py | 169 def runSolver(): function
197 runSolver()
220 runSolver()
|
| /dports/games/kpat/kpat-21.12.3/autotests/ |
| H A D | solve_by_name.cpp | 31 void runSolver();
34 void TestSolver::runSolver() in runSolver() function in TestSolver
|
| H A D | freecell_solver.cpp | 31 void runSolver();
34 void TestSolver::runSolver() in runSolver() function in TestSolver
|
| H A D | golf_solver_wins.cpp | 32 void runSolver();
35 void TestSolver::runSolver() in runSolver() function in TestSolver
|
| /dports/math/stp/stp-2.3.3/lib/ToSat/AIG/ |
| H A D | ToSATAIG.cpp | 43 return runSolver(satSolver); in CallSAT()
72 return runSolver(satSolver); in CallSAT()
202 bool ToSATAIG::runSolver(SATSolver& satSolver) in runSolver() function in stp::ToSATAIG
|
| /dports/math/vampire/vampire-4.5.1/ |
| H A D | vsat.cpp | 175 SATSolver::Status runSolver(SATSolver& solver, unsigned varCnt, SATClauseList* clauses) in runSolver() function
225 res = runSolver(*solver, varCnt, clauses); in satSolverMode()
|
| /dports/math/stp/stp-2.3.3/include/stp/ToSat/AIG/ |
| H A D | ToSATAIG.h | 60 bool runSolver(SATSolver& satSolver);
|
| /dports/devel/indi/indi-1.9.1/drivers/auxiliary/ |
| H A D | astrometrydriver.h | 119 void runSolver();
|
| H A D | astrometrydriver.cpp | 349 (static_cast<AstrometryDriver *>(context))->runSolver(); in runSolverHelper()
353 void AstrometryDriver::runSolver() in runSolver() function in AstrometryDriver
|
| /dports/graphics/inkscape/inkscape-1.1_2021-05-24_c4e8f9ed74/src/3rdparty/adaptagrams/libcola/ |
| H A D | gradient_projection.cpp | 203 bool GradientProjection::runSolver(valarray<double> & result) { in runSolver() function in cola::GradientProjection
288 runSolver(result); in solve()
320 constrainedOptimum=runSolver(result); in solve()
|
| H A D | gradient_projection.h | 133 bool runSolver(std::valarray<double> & result);
|
| /dports/cad/openroad/OpenROAD-2.0/src/rcx/src/ |
| H A D | extBench.cpp | 534 uint extMain::runSolver(extMainOptions* opt, uint netId, int shapeId) { in runSolver() function in rcx::extMain
574 runSolver("rc3 -n -x"); in measureNetPattern()
583 runSolver("rc3 -n -x"); in measureNetPattern()
707 runSolver("rc3 -n -x"); in runWiresSolver()
|
| H A D | extRCmodel.cpp | 3435 bool writeFiles, bool readFiles, bool runSolver, in setOptions() argument
3453 } else if (runSolver) { in setOptions()
3467 bool writeFiles, bool readFiles, bool runSolver) { in setOptions() argument
3485 } else if (runSolver) { in setOptions()
3500 void extRCModel::runSolver(const char* solverOption) { in runSolver() function in rcx::extRCModel
4041 runSolver("rc3 -n -x -z"); in solverStep()
4043 runSolver("rc2 -n -x -z"); in solverStep()
4940 bool readFiles, bool runSolver, bool keepFile, in metRulesGen() argument
4944 m->setOptions(topDir, name, writeFiles, readFiles, runSolver, keepFile, met); in metRulesGen()
4985 bool readFiles, bool runSolver, bool keepFile) { in rulesGen() argument
[all …]
|
| H A D | ext.cpp | 182 _ext->runSolver(&opt, netId, shapeId); in run_solver()
|
| /dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.jdt.ui/org.eclipse.jdt.ui/core refactoring/org/eclipse/jdt/internal/corext/refactoring/generics/ |
| H A D | InferTypeArgumentsConstraintsSolver.java | 127 runSolver(new SubProgressMonitor(pm, 1)); in solveConstraints()
193 private void runSolver(SubProgressMonitor pm) { in runSolver() method in InferTypeArgumentsConstraintsSolver
|
| /dports/devel/hs-cabal-install/cabal-cabal-install-3.4.0.0/cabal-install/Distribution/Client/ |
| H A D | Dependency.hs | 687 runSolver :: Solver -> SolverConfig -> DependencyResolver UnresolvedPkgLoc
688 runSolver Modular = modularResolver function
714 $ runSolver solver (SolverConfig reordGoals cntConflicts fineGrained minimize
|
| /dports/lang/ghc/ghc-8.10.7/libraries/Cabal/cabal-install/Distribution/Client/ |
| H A D | Dependency.hs | 741 runSolver :: Solver -> SolverConfig -> DependencyResolver UnresolvedPkgLoc
742 runSolver Modular = modularResolver function
768 $ runSolver solver (SolverConfig reordGoals cntConflicts fineGrained minimize
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/SMT/ |
| H A D | SMT.hs | 639 Just execPath -> runSolver cfg ctx execPath opts pgm continuation
683 runSolver :: SMTConfig -> State -> FilePath -> [String] -> String -> (State -> IO a) -> IO a
684 runSolver cfg ctx execPath opts pgm continuation function
|
| /dports/cad/openroad/OpenROAD-2.0/src/rcx/include/rcx/ |
| H A D | extRCap.h | 683 bool runSolver);
688 bool runSolver,
691 void runSolver(const char* solverOption);
2191 uint runSolver(extMainOptions* opt, uint netId, int shapeId);
2510 bool runSolver,
2518 bool runSolver,
|