Home
last modified time | relevance | path

Searched refs:found_solution (Results 1 – 11 of 11) sorted by relevance

/dports/math/py-cryptominisat/cryptominisat-5.8.0/src/
H A Dwalksat.cpp95 while (!found_solution && numtry < solver->conf.walksat_max_runs) {
101 while (!found_solution && (numfalse > 0) && (numflip < cutoff)) {
624 found_solution = true;
661 if (found_solution) {
695 if (!found_solution) {
701 if (found_solution || solver->conf.sls_get_phase) {
705 } else if (found_solution) {
H A Dwalksat.h163 bool found_solution = false; /* total found solutions */ variable
/dports/math/cryptominisat/cryptominisat-5.8.0/src/
H A Dwalksat.cpp95 while (!found_solution && numtry < solver->conf.walksat_max_runs) { in main()
101 while (!found_solution && (numfalse > 0) && (numflip < cutoff)) { in main()
624 found_solution = true; in update_and_print_statistics_end_try()
661 if (found_solution) { in print_statistics_final()
695 if (!found_solution) { in print_statistics_final()
701 if (found_solution || solver->conf.sls_get_phase) { in print_statistics_final()
705 } else if (found_solution) { in print_statistics_final()
H A Dwalksat.h163 bool found_solution = false; /* total found solutions */ variable
/dports/www/rt44/rt-4.4.5/share/html/Search/
H A DChart332 my $found_solution = $fitter->(
365 if ( $found_solution ) {
366 $chart_options{'x_axis_font'} = [$font, $found_solution];
430 my $found_solution = $fitter->(
467 if ( $found_solution ) {
468 $chart_options{'values_font'} = [ $font, $found_solution ],
/dports/www/rt50/rt-5.0.2/share/html/Search/
H A DChart332 my $found_solution = $fitter->(
365 if ( $found_solution ) {
366 $chart_options{'x_axis_font'} = [$font, $found_solution];
430 my $found_solution = $fitter->(
467 if ( $found_solution ) {
468 $chart_options{'values_font'} = [ $font, $found_solution ],
/dports/math/z3/z3-z3-4.8.13/src/tactic/
H A Dtactical.cpp567 bool found_solution = false; in operator ()() local
588 if (!failed && !found_solution) { in operator ()()
599 if (!failed && !found_solution) { in operator ()()
610 if (!failed && !found_solution) { in operator ()()
634 if (!found_solution) { in operator ()()
636 found_solution = true; in operator ()()
695 if (found_solution) in operator ()()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/tactic/
H A Dtactical.cpp578 bool found_solution = false;
599 if (!failed && !found_solution) {
610 if (!failed && !found_solution) {
621 if (!failed && !found_solution) {
645 if (!found_solution) {
647 found_solution = true;
706 if (found_solution)
/dports/science/cp2k/cp2k-2e995eec7fd208c8a72d9544807bd8b8ba8cd1cc/src/
H A Dqs_scf.F1388 LOGICAL :: continue_ls, continue_ls_exit, converged, do_linesearch, found_solution, & local
1470 found_solution = .FALSE.
1545 IF (found_solution) THEN
1556 found_solution = .TRUE.
1609 (i == max_linesearch .AND. converged .AND. .NOT. found_solution)) THEN
/dports/science/cp2k-data/cp2k-7.1.0/src/
H A Dqs_scf.F1354 LOGICAL :: continue_ls, continue_ls_exit, converged, do_linesearch, found_solution, & local
1436 found_solution = .FALSE.
1511 IF (found_solution) THEN
1522 found_solution = .TRUE.
1575 (i == max_linesearch .AND. converged .AND. .NOT. found_solution)) THEN
/dports/lang/gambit-c/gambit-4.9.3/bench/src/
H A Dnucleic.c2804 void found_solution() in found_solution() function
3067 case 17: found_solution(); in anticodon_domains()
3121 case 23: found_solution(); in pseudoknot_domains()