Repository Analysis

google/or-tools

Google's Operations Research tools:

14.1 Low AI signal View on GitHub

Analysis Overview

This report presents the forensic synthetic code analysis of google/or-tools, a C++ project with 13,775 GitHub stars. SynthScan v2.0 examined 445,118 lines of code across 1751 source files, recording 5081 pattern matches distributed across 20 syntactic categories. The overall adjusted score of 14.1 places this repository in the Low AI signal band.

The scanner applied 160+ deterministic lexical heuristics, multi-line block detectors, abstract syntax tree depth profilers, and a cross-file Jaccard similarity matrix to construct a statistically normalised synthetic code estimate. All matches are individually weighted by severity coefficient and contextual multiplier before summation, and the resulting headline score is temporally discounted to account for the repository's development history relative to the commercial emergence of large language model coding tooling (November 2022 onward).

14.1
Adjusted Score
14.1
Raw Score
100%
Time Factor
2026-07-10
Last Push
13.8K
Stars
C++
Language
445.1K
Lines of Code
1.8K
Files
5.1K
Pattern Hits
2026-07-14
Scan Date
0.08
HC Hit Rate

What These Metrics Mean

Adjusted Score
Primary synthetic code indicator. Raw score normalised per 1,000 lines of code and multiplied by the temporal discount factor. This is the definitive comparative metric — use it to rank repositories by AI authorship density.
Raw Score
The unmodified sum of all severity-weighted, context-multiplied pattern match scores before temporal discounting. Reflects the absolute signal strength independent of when the repository was last active.
Time Factor
The temporal discount multiplier (0–100%) applied to the raw score. Repositories last updated before ChatGPT's launch (Nov 2022) receive a 5% factor. Full signal is only assigned to repositories active in the post-adoption era (Jan 2024+).
Pattern Hits
Total count of individual pattern matches across all files and categories. A high hit count with a low score may indicate a very large codebase with isolated AI snippets; a low count with a high score indicates dense, concentrated AI signatures.
HC Hit Rate
High+Critical pattern hits per file, averaged across the repository. This orthogonal signal catches repositories where a few files are densely packed with high-severity AI tells — a strong indicator even when the normalised score appears moderate due to codebase size.
Lines of Code / Files
Total lines and files analysed. The scanner examines 94 file extensions. These denominators are used to normalise the score, enabling fair comparison between repositories of vastly different sizes.

Score History

This chart maps the temporal evolution of the adjusted synthetic code score across successive scan runs. An upward trajectory indicates ongoing incorporation of AI-generated code or expanding LLM-assisted scaffolding; a stable or declining trajectory may reflect active human refactoring, code removal, or the adoption of stricter authorship policies. The dashed secondary line (right axis) independently tracks total raw pattern hit count, which can diverge from the normalised score when codebase size changes significantly between scans.

Severity Breakdown

Classifies detected patterns by their diagnostic confidence and structural impact. CRITICAL patterns (coefficient 10) represent definitive synthetic signatures — hallucinated imports, explicit LLM attribution metadata — virtually never produced by human authors. HIGH (5) indicates strong structural tells such as cross-file repetition or cross-linguistic idioms. MEDIUM (2) covers recognisable conversational padding and AI-specific vocabulary. LOW (1) captures subtle indicators like tautological comments and generic boilerplate that require density to carry independent signal.

CRITICAL 0HIGH 139MEDIUM 349LOW 4593

Directory Score Breakdown

This horizontal bar chart decomposes the repository's raw synthetic code score by top-level directory, allowing you to pinpoint precisely which modules or components carry the highest AI authorship density. Directories with disproportionately high scores relative to their size warrant targeted manual review: concentrated AI signatures often trace back to mass-generated configuration layers, auto-ported test suites, LLM-scaffolded boilerplate classes, or entire subsystems authored under heavy copilot assistance. Use this view to prioritise your human code-review effort.

Pattern Findings

The scanner identified 5081 distinct pattern matches across 20 syntactic categories. Each entry below represents a discrete location in the source code where the engine recorded a statistically significant AI authorship indicator. Expand any category row to inspect the individual file paths, line numbers, code snippets, and the lexical context (CODE, COMMENT, or STRING) in which each match was detected.

Reading the findings table: The Severity column indicates the diagnostic confidence level (CRITICAL / HIGH / MEDIUM / LOW). The Context column identifies whether the match occurred inside executable code, an inline comment, or a string literal — comment-context matches receive a ×1.5 weight because LLMs systematically over-annotate. The ⚡ bolt icon marks clustered matches: three or more patterns within a 10-line window, each receiving an additional ×1.5 density multiplier as dense clusters constitute far stronger evidence of synthetic authorship than isolated hits.

Over-Commented Block3647 hits · 3572 pts
SeverityFileLineSnippetContext
LOWCMakeLists.txt1# Copyright 2010-2025 Google LLCCOMMENT
LOW.cmake-format.py1#!/usr/bin/env python3COMMENT
LOW.cmake-format.py101 # A list of command names which should always be wrappedCOMMENT
LOW.cmake-format.py141COMMENT
LOWtools/check_python_deps.py1#!/usr/bin/env python3COMMENT
LOWtools/generate_all_notebooks.sh1#!/usr/bin/env bashCOMMENT
LOWtools/find_dependencies.sh1#!/usr/bin/env bashCOMMENT
LOWtools/export_to_ipynb.py1#!/usr/bin/env python3COMMENT
LOWtools/cross_compile.sh1#!/usr/bin/env bashCOMMENT
LOWtools/docker/python/build-musllinux.sh1#!/usr/bin/env bashCOMMENT
LOWtools/docker/python/build-manylinux.sh1#!/usr/bin/env bashCOMMENT
LOWtools/docker/docs/generate_image.sh1#!/usr/bin/env bashCOMMENT
LOWtools/release/build_delivery_macos.sh1#!/usr/bin/env bashCOMMENT
LOWtools/release/test_delivery_manylinux_arm64.sh1#!/usr/bin/env bashCOMMENT
LOWtools/release/build_delivery_manylinux_amd64.sh1#!/usr/bin/env bashCOMMENT
LOWtools/release/publish_delivery_manylinux_amd64.sh1#!/usr/bin/env bashCOMMENT
LOWtools/release/publish_delivery_macos.sh1#!/usr/bin/env bashCOMMENT
LOWtools/release/publish_delivery_meta.sh1#!/usr/bin/env bashCOMMENT
LOWtools/release/test_delivery_linux.sh1#!/usr/bin/env bashCOMMENT
LOWtools/release/test_delivery_macos.sh1#!/usr/bin/env bashCOMMENT
LOWtools/release/test_delivery_manylinux_amd64.sh1#!/usr/bin/env bashCOMMENT
LOWtools/release/build_delivery_manylinux_arm64.sh1#!/usr/bin/env bashCOMMENT
LOWtools/release/publish_delivery_manylinux_arm64.sh1#!/usr/bin/env bashCOMMENT
LOWtools/release/build_delivery_meta.sh1#!/usr/bin/env bashCOMMENT
LOWtools/release/publish_delivery_linux.sh1#!/usr/bin/env bashCOMMENT
LOWtools/release/build_delivery_linux.sh1#!/usr/bin/env bashCOMMENT
LOWtools/testing/bintest_script_runner_test.py1#!/usr/bin/env python3COMMENT
LOWtools/testing/bintest_run_utils_test.py1#!/usr/bin/env python3COMMENT
LOWtools/testing/bintest_run_utils.py1#!/usr/bin/env python3COMMENT
LOWtools/testing/print_args_test.py1#!/usr/bin/env python3COMMENT
LOWtools/testing/bintest_script_runner.py1#!/usr/bin/env python3COMMENT
LOWtools/testing/bintest_script_launcher.py1#!/usr/bin/env python3COMMENT
LOWtools/testing/binary_test.py1#!/usr/bin/env python3COMMENT
LOWtools/testing/bintest_matchers.py1#!/usr/bin/env python3COMMENT
LOWtools/testing/README.md41// --fail: If present, the program will exit with a non-zero status code.COMMENT
LOWtools/testing/bintest_matchers_test.py1#!/usr/bin/env python3COMMENT
LOWtools/doc/doxygen_filter.py1#!/usr/bin/env python3COMMENT
LOWcmake/host.CMakeLists.txt1# Copyright 2010-2025 Google LLCCOMMENT
LOWcmake/host.CMakeLists.txt21# Parameters:COMMENT
LOWcmake/dependencies/CMakeLists.txt1# Copyright 2010-2025 Google LLCCOMMENT
LOWcmake/docs/generate_image.sh1#!/usr/bin/env bashCOMMENT
LOWcmake/samples/python/sample.py1#!/usr/bin/env python3COMMENT
LOW…les/java/src/test/java/com/google/ortools/AppTest.java1// Copyright 2010-2025 Google LLCCOMMENT
LOW…samples/java/src/main/java/com/google/ortools/App.java1// Copyright 2010-2025 Google LLCCOMMENT
LOWcmake/samples/dotnet/RoutingSample.cs1// Copyright 2010-2025 Google LLCCOMMENT
LOWcmake/samples/dotnet/LPSample.cs1// Copyright 2010-2025 Google LLCCOMMENT
LOWcmake/samples/dotnet/SATSample.cs1// Copyright 2010-2025 Google LLCCOMMENT
LOWcmake/samples/dotnet/CPSample.cs1// Copyright 2010-2025 Google LLCCOMMENT
LOWcmake/samples/cpp/CMakeLists.txt1# Copyright 2010-2025 Google LLCCOMMENT
LOWcmake/samples/cpp/main.cpp1// Copyright 2010-2025 Google LLCCOMMENT
LOWcmake/samples/glop/CMakeLists.txt1# Copyright 2010-2025 Google LLCCOMMENT
LOWcmake/samples/glop/main.cpp1// Copyright 2010-2025 Google LLCCOMMENT
LOWmakefiles/docs/generate_image.sh1#!/usr/bin/env bashCOMMENT
LOWexamples/python/gate_scheduling_sat.py1#!/usr/bin/env python3COMMENT
LOWexamples/python/prize_collecting_tsp.py1#!/usr/bin/env python3COMMENT
LOWexamples/python/transit_time.py1#!/usr/bin/env pythonCOMMENT
LOWexamples/python/clustering_sat.py1#!/usr/bin/env python3COMMENT
LOWexamples/python/music_playlist_sat.py1#!/usr/bin/env python3COMMENT
LOWexamples/python/music_playlist_sat.py101COMMENT
LOWexamples/python/music_playlist_sat.py141 model = cp_model.CpModel()COMMENT
3587 more matches not shown…
Self-Referential Comments263 hits · 798 pts
SeverityFileLineSnippetContext
MEDIUMtools/check_python_deps.py122 # Create the loggerCOMMENT
MEDIUMexamples/python/gate_scheduling_sat.py68 # Create main interval.COMMENT
MEDIUMexamples/python/gate_scheduling_sat.py78 # Create an optional copy of interval to be executed on machine 0.COMMENT
MEDIUMexamples/python/gate_scheduling_sat.py88 # Create an optional copy of interval to be executed on machine 1.COMMENT
MEDIUMexamples/python/prize_collecting_tsp.py68# Create a console solution printer.COMMENT
MEDIUMexamples/python/prize_collecting_tsp.py108 # Create the routing index manager.COMMENT
MEDIUMexamples/python/rcpsp_sat.py116 # Create the model.COMMENT
MEDIUMexamples/python/rcpsp_sat.py182 # Create the duration variable from the accumulated durations.COMMENT
MEDIUMexamples/python/rcpsp_sat.py194 # Create the interval of the task.COMMENT
MEDIUMexamples/python/rcpsp_sat.py206 # Create the demand variable of the task for each resource.COMMENT
MEDIUMexamples/python/rcpsp_sat.py223 # Create the energy expression for (task, resource):COMMENT
MEDIUMexamples/python/vendor_scheduling_sat.py68 # Create the model.COMMENT
MEDIUMexamples/python/weighted_latency_problem_sat.py73 # Create the circuit constraint.COMMENT
MEDIUMexamples/python/magic_sequence_distribute.py33 # Create the solver.COMMENT
MEDIUMexamples/python/magic_sequence_distribute.py36 # Create an array of IntVars to hold the answers.COMMENT
MEDIUMexamples/python/prize_collecting_tsp_sat.py73# Create a console solution printer.COMMENT
MEDIUMexamples/python/prize_collecting_tsp_sat.py128 # Create the circuit constraint.COMMENT
MEDIUMexamples/python/golomb_sat.py43 # Create the model.COMMENT
MEDIUMexamples/python/wedding_optimal_chart_sat.py142 # Create the cp model.COMMENT
MEDIUMexamples/python/line_balancing_sat.py212 # Create the variablesCOMMENT
MEDIUMexamples/python/line_balancing_sat.py304 # Create the variablesCOMMENT
MEDIUMexamples/python/zebra_sat.py44 # Create the model.COMMENT
MEDIUMexamples/python/steel_mill_slab_sat.py192 # Create the model and the decision variables.COMMENT
MEDIUMexamples/python/steel_mill_slab_sat.py385 # Create the model and the decision variables.COMMENT
MEDIUMexamples/python/task_allocation_sat.py283 # Create a solver and solve the problem.COMMENT
MEDIUMexamples/python/jobshop_with_maintenance_sat.py41 # Create the model.COMMENT
MEDIUMexamples/python/hidato_sat.py152 # Create the model.COMMENT
MEDIUMexamples/python/tsp_sat.py77 # Create the circuit constraint.COMMENT
MEDIUMexamples/python/flexible_job_shop_sat.py114 # Create main interval for the task.COMMENT
MEDIUMexamples/python/sudoku_sat.py22 # Create the model.COMMENT
MEDIUMexamples/python/spread_robots_sat.py38 # Create the list of coordinates (x, y) for each robot.COMMENT
MEDIUMexamples/python/prize_collecting_vrp.py68# Create a console solution printer.COMMENT
MEDIUMexamples/python/prize_collecting_vrp.py116 # Create the routing index manager.COMMENT
MEDIUMexamples/python/prize_collecting_vrp_sat.py73# Create a console solution printer.COMMENT
MEDIUMexamples/python/prize_collecting_vrp_sat.py139 # Create the circuit constraint.COMMENT
MEDIUMexamples/python/balance_group_sat.py30# Create a solution printer.COMMENT
MEDIUMexamples/python/golomb8.py34 # Create the solver.COMMENT
MEDIUMexamples/contrib/game_theory_taha.py32 # Create the solver.COMMENT
MEDIUMexamples/contrib/costas_array.py69 # Create the solver.COMMENT
MEDIUMexamples/contrib/p_median.py42 # Create the solver.COMMENT
MEDIUMexamples/contrib/diet1.py50 # Create the solver.COMMENT
MEDIUMexamples/contrib/furniture_moving.py84 # Create the solver.COMMENT
MEDIUMexamples/contrib/knapsack_cp.py38 # Create the solver.COMMENT
MEDIUMexamples/contrib/organize_day.py50 # Create the solver.COMMENT
MEDIUMexamples/contrib/curious_set_of_integers.py71 # Create the solver.COMMENT
MEDIUMexamples/contrib/nqueens2.py32 # Create the solver.COMMENT
MEDIUMexamples/contrib/strimko2.py52 # Create the solver.COMMENT
MEDIUMexamples/contrib/nqueens.py28 # Create the solver.COMMENT
MEDIUMexamples/contrib/regular.py170 # Create the solver.COMMENT
MEDIUMexamples/contrib/regular_table2.py147 # Create the solver.COMMENT
MEDIUMexamples/contrib/circuit.py87 # Create the solver.COMMENT
MEDIUMexamples/contrib/nqueens3.py34 # Create the solver.COMMENT
MEDIUMexamples/contrib/futoshiki.py52 # Create the solver.COMMENT
MEDIUMexamples/contrib/3_jugs_regular.py125 # Create the solver.COMMENT
MEDIUMexamples/contrib/3_jugs_mip.py35 # Create the solver.COMMENT
MEDIUMexamples/contrib/all_interval.py61 # Create the solver.COMMENT
MEDIUMexamples/contrib/magic_square.py29 # Create the solver.COMMENT
MEDIUMexamples/contrib/set_partition.py72 # Create the solver.COMMENT
MEDIUMexamples/contrib/who_killed_agatha.py91 # Create the solver.COMMENT
MEDIUMexamples/contrib/labeled_dice.py54 # Create the solver.COMMENT
203 more matches not shown…
Hyper-Verbose Identifiers602 hits · 592 pts
SeverityFileLineSnippetContext
LOWtools/testing/bintest_script_runner_test.py29 def execute_with_script_content(self, content: str):CODE
LOWtools/testing/bintest_script_runner_test.py38 def test_non_existing_script_path(self):CODE
LOWtools/testing/bintest_script_runner_test.py65 def test_run_inexistent_binary(self):CODE
LOWtools/testing/bintest_script_runner_test.py91 def test_run_and_unquoted_check(self):CODE
LOWtools/testing/bintest_run_utils_test.py27 def test_get_path_env_var_not_set(self):CODE
LOWtools/testing/bintest_run_utils_test.py34 def test_get_path_env_var_set_and_file_exists(self):CODE
LOWtools/testing/bintest_run_utils_test.py39 def test_get_path_env_var_set_and_file_does_not_exists(self):CODE
LOWtools/testing/bintest_run_utils_test.py66 def test_run_with_arg_expansion(self, mock_run):CODE
LOWtools/testing/bintest_run_utils_test.py89 def test_run_with_stderr_redirect(self, mock_run):CODE
LOWtools/testing/print_args_test.py30 def test_run_get_single_float(self):CODE
LOWtools/testing/print_args_test.py36 def test_check_text_and_extract_float(self):CODE
LOWtools/testing/print_args_test.py42 def test_check_extract_several_floats(self):CODE
LOWtools/testing/binary_test.py114 def assert_has_line_with_prefixed_number(self, prefix: str, log: str) -> float:CODE
LOWtools/testing/README.md180 def test_run_get_single_float(self):CODE
LOWtools/testing/README.md186 def test_check_text_and_extract_float(self):CODE
LOWtools/testing/README.md192 def test_check_extract_several_floats(self):CODE
LOWexamples/python/horse_jumping_show.py117def generate_horse_jumping_show_data() -> HorseJumpingShowData:CODE
LOWexamples/python/arc_flow_cutting_stock_sat.py240def solve_cutting_stock_with_arc_flow_and_sat(output_proto_file: str, params: str):CODE
LOWexamples/python/arc_flow_cutting_stock_sat.py326def solve_cutting_stock_with_arc_flow_and_mip():CODE
LOWexamples/python/spillover_sat.py126def _random_spillover_problem(CODE
LOWexamples/python/appointments.py57def enumerate_all_knapsacks_with_repetition(CODE
LOWexamples/python/appointments.py88def aggregate_item_collections_optimally(CODE
LOWexamples/python/wedding_optimal_chart_sat.py133def solve_with_discrete_model() -> None:CODE
LOWexamples/python/maximize_combinations_sat.py24def maximize_combinations_sat() -> None:CODE
LOWexamples/python/bus_driver_scheduling_flow_sat.py1665def find_minimum_number_of_drivers(shifts, params):CODE
LOWexamples/python/pentominoes_sat.py109def generate_and_solve_problem(pieces: Dict[str, List[List[int]]]) -> None:CODE
LOWexamples/python/line_balancing_sat.py187def solve_problem_with_boolean_model(CODE
LOWexamples/python/line_balancing_sat.py280def solve_problem_with_scheduling_model(CODE
LOWexamples/python/steel_mill_slab_sat.py359def steel_mill_slab_with_valid_slabs(problem_id: int, break_symmetries: bool) -> None:CODE
LOWexamples/python/steel_mill_slab_sat.py495def steel_mill_slab_with_column_generation(problem_id: int) -> None:CODE
LOW…machine_scheduling_with_setup_release_due_dates_sat.py54def single_machine_scheduling():CODE
LOWexamples/python/memory_layout_and_infeasibility_sat.py85def solve_soft_model_with_assumptions() -> None:CODE
LOWexamples/python/memory_layout_and_infeasibility_sat.py128def solve_soft_model_with_maximization(params: str) -> None:CODE
LOWexamples/python/knapsack_2d_sat.py72def solve_with_duplicate_items(STRING
LOWexamples/python/knapsack_2d_sat.py181def solve_with_duplicate_optional_items(CODE
LOWexamples/python/car_sequencing_optimization_sat.py128def solve_car_sequencing_optimization() -> None:CODE
LOWexamples/python/tasks_and_workers_assignment_sat.py37def tasks_and_workers_assignment_sat() -> None:CODE
LOWexamples/python/shift_scheduling_sat.py61def add_soft_sequence_constraint(CODE
LOWortools/set_cover/python/set_cover_test.py20def create_initial_cover_model():CODE
LOWortools/set_cover/python/set_cover_test.py34def create_knights_cover_model(num_rows: int, num_cols: int) -> set_cover.SetCoverModel:CODE
LOWortools/set_cover/python/set_cover_test.py131 def test_knights_cover_creation(self):CODE
LOWortools/set_cover/python/set_cover_test.py135 def test_knights_cover_greedy(self):CODE
LOWortools/set_cover/python/set_cover_test.py153 def test_knights_cover_degree(self):CODE
LOWortools/set_cover/python/set_cover_test.py189 def test_knights_cover_random(self):CODE
LOWortools/set_cover/python/set_cover_test.py207 def test_knights_cover_trivial(self):CODE
LOWortools/util/solve_interrupter.h125// The function RemoveCallbackIfNecessary() can be used to remove the callbackCOMMENT
LOWortools/util/python/pybind_solve_interrupter_test.py36 def test_untriggered_interrupter(self) -> None:CODE
LOWortools/util/python/pybind_solve_interrupter_test.py48 def test_triggered_interrupter(self) -> None:CODE
LOWortools/util/python/pybind_solve_interrupter_test.py92 def test_remove_existing_target(self) -> None:CODE
LOWortools/util/python/pybind_solve_interrupter_test.py101 def test_remove_existing_target_added_twice(self) -> None:CODE
LOWortools/util/python/pybind_solve_interrupter_test.py119 def test_remove_existing_target_twice(self) -> None:CODE
LOWortools/util/python/solve_interrupter_test.py22 def test_untriggered_interrupter(self) -> None:CODE
LOWortools/util/python/solve_interrupter_test.py26 def test_triggered_interrupter(self) -> None:CODE
LOWortools/util/python/solve_interrupter_test.py39 def test_remove_existing_target(self) -> None:CODE
LOWortools/util/python/solve_interrupter_test.py48 def test_remove_existing_target_added_twice(self) -> None:CODE
LOWortools/util/python/solve_interrupter_test.py66 def test_remove_existing_target_twice(self) -> None:CODE
LOWortools/util/python/solve_interrupter_test.py84 def test_callback_already_interrupted(self) -> None:CODE
LOWortools/util/python/solve_interrupter_test.py99 def test_callback_interruption(self) -> None:CODE
LOWortools/util/python/solve_interrupter_test.py115 def test_callback_interruption_after_removal(self) -> None:CODE
LOWortools/util/python/solve_interrupter_test.py130 def test_callback_nointerruption(self) -> None:CODE
542 more matches not shown…
Cross-File Repetition67 hits · 335 pts
SeverityFileLineSnippetContext
HIGHexamples/python/transit_time.py0creates callback to get total times between locations.STRING
HIGHortools/constraint_solver/samples/cvrp_reload.py0creates callback to get total times between locations.STRING
HIGHortools/constraint_solver/samples/cvrptw_break.py0creates callback to get total times between locations.STRING
HIGHexamples/python/integer_programming.py0integer programming examples that show how to use the apis.STRING
HIGHortools/linear_solver/samples/simple_mip_program.py0integer programming examples that show how to use the apis.STRING
HIGHortools/linear_solver/samples/simple_mip_program_mb.py0integer programming examples that show how to use the apis.STRING
HIGHexamples/python/chemical_balance_lp.py0we are trying to group items in equal sized groups. each item has a color and a value. we want the sum of values of eachSTRING
HIGHexamples/python/chemical_balance_sat.py0we are trying to group items in equal sized groups. each item has a color and a value. we want the sum of values of eachSTRING
HIGHexamples/python/balance_group_sat.py0we are trying to group items in equal sized groups. each item has a color and a value. we want the sum of values of eachSTRING
HIGHexamples/contrib/regular.py0global constraint regular in google cp solver. this is a translation of minizinc's regular constraint (defined in lib/ziSTRING
HIGHexamples/contrib/regular_table2.py0global constraint regular in google cp solver. this is a translation of minizinc's regular constraint (defined in lib/ziSTRING
HIGHexamples/contrib/regular_table.py0global constraint regular in google cp solver. this is a translation of minizinc's regular constraint (defined in lib/ziSTRING
HIGHexamples/contrib/regular.py0it is, however, translated from the comet model: * comet: http://www.hakank.org/comet/regular.co here we test with the fSTRING
HIGHexamples/contrib/regular_table2.py0it is, however, translated from the comet model: * comet: http://www.hakank.org/comet/regular.co here we test with the fSTRING
HIGHexamples/contrib/regular_table.py0it is, however, translated from the comet model: * comet: http://www.hakank.org/comet/regular.co here we test with the fSTRING
HIGHexamples/contrib/regular.py0* the sequence of values in array 'x' (which must all be in the range 1..s) * is accepted by the dfa of 'q' states with STRING
HIGHexamples/contrib/regular_table2.py0* the sequence of values in array 'x' (which must all be in the range 1..s) * is accepted by the dfa of 'q' states with STRING
HIGHexamples/contrib/3_jugs_regular.py0* the sequence of values in array 'x' (which must all be in the range 1..s) * is accepted by the dfa of 'q' states with STRING
HIGHexamples/contrib/contiguity_regular.py0* the sequence of values in array 'x' (which must all be in the range 1..s) * is accepted by the dfa of 'q' states with STRING
HIGHexamples/contrib/nonogram_table.py0* the sequence of values in array 'x' (which must all be in the range 1..s) * is accepted by the dfa of 'q' states with STRING
HIGHexamples/contrib/regular_table.py0* the sequence of values in array 'x' (which must all be in the range 1..s) * is accepted by the dfa of 'q' states with STRING
HIGHexamples/contrib/nonogram_regular.py0* the sequence of values in array 'x' (which must all be in the range 1..s) * is accepted by the dfa of 'q' states with STRING
HIGHexamples/contrib/nurse_rostering.py0* the sequence of values in array 'x' (which must all be in the range 1..s) * is accepted by the dfa of 'q' states with STRING
HIGHexamples/contrib/nurse_rostering_regular.cs0* the sequence of values in array 'x' (which must all be in the range 1..s) * is accepted by the dfa of 'q' states with STRING
HIGHexamples/contrib/3_jugs_regular.cs0* the sequence of values in array 'x' (which must all be in the range 1..s) * is accepted by the dfa of 'q' states with STRING
HIGHexamples/contrib/contiguity_regular.cs0* the sequence of values in array 'x' (which must all be in the range 1..s) * is accepted by the dfa of 'q' states with STRING
HIGHexamples/contrib/regex.cs0* the sequence of values in array 'x' (which must all be in the range 1..s) * is accepted by the dfa of 'q' states with STRING
HIGHexamples/contrib/volsay.py0volsay problem in google or-tools. from the opl model volsay.mod using arrays. this model was created by hakan kjellerstSTRING
HIGHexamples/contrib/blending.py0volsay problem in google or-tools. from the opl model volsay.mod using arrays. this model was created by hakan kjellerstSTRING
HIGHexamples/contrib/volsay2.py0volsay problem in google or-tools. from the opl model volsay.mod using arrays. this model was created by hakan kjellerstSTRING
HIGHexamples/contrib/volsay3.py0volsay problem in google or-tools. from the opl model volsay.mod using arrays. this model was created by hakan kjellerstSTRING
HIGHexamples/contrib/nonogram_table.py0nonogram (painting by numbers) in google cp solver. http://en.wikipedia.org/wiki/nonogramSTRING
HIGHexamples/contrib/nonogram_regular.py0nonogram (painting by numbers) in google cp solver. http://en.wikipedia.org/wiki/nonogramSTRING
HIGHexamples/contrib/nonogram_default_search.py0nonogram (painting by numbers) in google cp solver. http://en.wikipedia.org/wiki/nonogramSTRING
HIGHexamples/contrib/nonogram_table2.py0nonogram (painting by numbers) in google cp solver. http://en.wikipedia.org/wiki/nonogramSTRING
HIGHexamples/contrib/nonogram_table.py0see problem 12 at http://www.csplib.org/. http://www.puzzlemuseum.com/nonogram.htm haskell solution: http://twan.home.fmSTRING
HIGHexamples/contrib/nonogram_regular.py0see problem 12 at http://www.csplib.org/. http://www.puzzlemuseum.com/nonogram.htm haskell solution: http://twan.home.fmSTRING
HIGHexamples/contrib/nonogram_table2.py0see problem 12 at http://www.csplib.org/. http://www.puzzlemuseum.com/nonogram.htm haskell solution: http://twan.home.fmSTRING
HIGHexamples/contrib/steel_lns.py0post the load constraint on bins. constraints forall j: loadvars[j] == sum_i (binvars[i] == j) * weights[i])STRING
HIGHexamples/contrib/bacp.py0post the load constraint on bins. constraints forall j: loadvars[j] == sum_i (binvars[i] == j) * weights[i])STRING
HIGHexamples/contrib/steel.py0post the load constraint on bins. constraints forall j: loadvars[j] == sum_i (binvars[i] == j) * weights[i])STRING
HIGHortools/sat/docs/scheduling.md0code sample to demonstrates how to build an optional interval.STRING
HIGHortools/sat/samples/interval_sample_sat.py0code sample to demonstrates how to build an optional interval.STRING
HIGHortools/sat/samples/optional_interval_sample_sat.py0code sample to demonstrates how to build an optional interval.STRING
HIGHortools/sat/docs/boolean_logic.md0encoding of the product of two boolean variables. p == x * y, which is the same as p <=> x and ySTRING
HIGHortools/sat/docs/integer_arithmetic.md0encoding of the product of two boolean variables. p == x * y, which is the same as p <=> x and ySTRING
HIGHortools/sat/samples/boolean_product_sample_sat.py0encoding of the product of two boolean variables. p == x * y, which is the same as p <=> x and ySTRING
HIGH…ols/sat/samples/bool_and_int_var_product_sample_sat.py0encoding of the product of two boolean variables. p == x * y, which is the same as p <=> x and ySTRING
HIGHortools/sat/docs/solver.md0minimal cp-sat example to showcase calling the solver.STRING
HIGHortools/sat/docs/README.md0minimal cp-sat example to showcase calling the solver.STRING
HIGHortools/sat/samples/simple_sat_program.py0minimal cp-sat example to showcase calling the solver.STRING
HIGHortools/sat/samples/solve_with_time_limit_sample_sat.py0minimal cp-sat example to showcase calling the solver.STRING
HIGHortools/sat/samples/cp_sat_example.py0minimal cp-sat example to showcase calling the solver.STRING
HIGHortools/math_opt/python/linear_constraints.py0returns the name, or a string containing the id if the name is empty.STRING
HIGHortools/math_opt/python/variables.py0returns the name, or a string containing the id if the name is empty.STRING
HIGHortools/math_opt/python/indicator_constraints.py0returns the name, or a string containing the id if the name is empty.STRING
HIGHortools/math_opt/python/quadratic_constraints.py0returns the name, or a string containing the id if the name is empty.STRING
HIGHortools/constraint_solver/docs/routing_svg.py0returns the manhattan distance between the two nodes.STRING
HIGH…/constraint_solver/samples/vrp_pickup_delivery_fifo.py0returns the manhattan distance between the two nodes.STRING
HIGHortools/constraint_solver/samples/tsp.py0returns the manhattan distance between the two nodes.STRING
7 more matches not shown…
Docstring Block Structure67 hits · 330 pts
SeverityFileLineSnippetContext
HIGHtools/testing/bintest_run_utils.py26Returns the path to a file from an environment variable. Args: label: The label to access the path to the filSTRING
HIGHtools/testing/bintest_run_utils.py59Runs the command denoted by args. Args: binary: The path to the binary to execute. *args: Arguments of STRING
HIGHtools/testing/binary_test.py35Runs a command, expanding $(label) expressions, and returns the output. `binary` and `args` can contain expressSTRING
HIGHtools/testing/binary_test.py67Runs a command, expanding $(label) expressions, and asserts that it fails. `binary` and `args` can contain exprSTRING
HIGHtools/testing/binary_test.py90Extracts floating point numbers from a log string based on patterns. Patterns are applied sequentially. Each paSTRING
HIGHtools/testing/bintest_matchers.py96Parses a binary operator and a value into a check function. Args: op: The binary operator string (e.g., '<', STRING
HIGHtools/testing/bintest_matchers.py120Parses a specification string into a float checking function. The spec can define almost equality (e.g., "1.0~0.1")STRING
HIGHtools/testing/bintest_matchers.py187Extracts and optionally checks numbers from a log string based on patterns. Each pattern can contain "@num(spec)" kSTRING
HIGHortools/util/python/solve_interrupter.py77Returns a context manager that (un)register the provided callback. The callback is immediately called if the inSTRING
HIGHortools/sat/python/cp_model.py391Creates a series of (scalar-valued) variables with the given name. Args: name (str): Required. The naSTRING
HIGHortools/sat/python/cp_model.py447Creates a series of (scalar-valued) variables with the given name. Args: name (str): Required. The naSTRING
HIGHortools/sat/python/cp_model.py510Adds a `BoundedLinearExpression` to the model. Args: ct: A [`BoundedLinearExpression`](#boundedlinearSTRING
HIGHortools/sat/python/cp_model.py579Adds Circuit(arcs). Adds a circuit constraint from a sparse list of arcs that encode the graph. A circSTRING
HIGHortools/sat/python/cp_model.py605Adds a multiple circuit constraint, aka the 'VRP' constraint. The direct graph where arc #i (from tails[i] to hSTRING
HIGHortools/sat/python/cp_model.py637Adds AllowedAssignments(expressions, tuples_list). An AllowedAssignments constraint is a constraint on an arraySTRING
HIGHortools/sat/python/cp_model.py671Adds add_forbidden_assignments(expressions, [tuples_list]). A ForbiddenAssignments constraint is a constraint oSTRING
HIGHortools/sat/python/cp_model.py706Adds an automaton constraint. An automaton constraint takes a list of affine expressions (a * var + b) (of STRING
HIGHortools/sat/python/cp_model.py771Adds Inverse(variables, inverse_variables). An inverse constraint enforces that if `variables[i]` is assigned aSTRING
HIGHortools/sat/python/cp_model.py804Adds Reservoir(times, level_changes, min_level, max_level). Maintains a reservoir level within bounds. The wateSTRING
HIGHortools/sat/python/cp_model.py855Adds Reservoir(times, level_changes, actives, min_level, max_level). Maintains a reservoir level within bounds.STRING
HIGHortools/sat/python/cp_model.py1126Creates a series of interval variables with the given name. Args: name (str): Required. The name of tSTRING
HIGHortools/sat/python/cp_model.py1195Creates a series of interval variables with the given name. Args: name (str): Required. The name of tSTRING
HIGHortools/sat/python/cp_model.py1279Creates a series of interval variables with the given name. Args: name (str): Required. The name of tSTRING
HIGHortools/sat/python/cp_model.py1367Creates a series of interval variables with the given name. Args: name (str): Required. The name of tSTRING
HIGHortools/sat/python/cp_model.py1792Returns the values of the input variables. If `variables` is a `pd.Index`, then the output will be indexed by tSTRING
HIGHortools/sat/python/cp_model.py1820Returns the float values of the input linear expressions. If `expressions` is a `pd.Index`, then the output wilSTRING
HIGHortools/sat/python/cp_model.py1850Returns the values of the input variables. If `variables` is a `pd.Index`, then the output will be indexed by tSTRING
HIGHortools/sat/python/cp_model.py2120Returns the boolean value of a boolean literal. Args: lit: A boolean variable or its negation. STRING
HIGHortools/sat/python/cp_model.py2136Evaluates an linear expression in the current solution. Args: expression: a linear expression of thSTRING
HIGHortools/sat/python/cp_model.py2153Evaluates an linear expression in the current solution. Args: expression: a linear expression of thSTRING
HIGHortools/math_opt/python/callback.py105Creates a CallbackData from an equivalent proto. Args: cb_data: A protocol buffer with the information the usSTRING
HIGHortools/math_opt/python/result.py516The variable values from the best primal feasible solution. An error will be raised if there are no primal feasSTRING
HIGHortools/math_opt/python/result.py582The variable values from the first primal ray. An error will be raised if there are no primal rays. ArSTRING
HIGHortools/math_opt/python/result.py648The dual values associated to the best solution. If there is at least one primal feasible solution, this corresSTRING
HIGHortools/math_opt/python/result.py702The reduced costs associated to the best solution. If there is at least one primal feasible solution, this corrSTRING
HIGHortools/math_opt/python/result.py767The dual values from the first dual ray. An error will be raised if there are no dual rays. Args: STRING
HIGHortools/math_opt/python/result.py816The reduced costs from the first dual ray. An error will be raised if there are no dual rays. Args: STRING
HIGHortools/math_opt/python/result.py879The constraint basis status associated to the best solution. If there is at least one primal feasible solution,STRING
HIGHortools/math_opt/python/result.py934The variable basis status associated to the best solution. If there is at least one primal feasible solution, tSTRING
HIGHortools/math_opt/python/solve.py50Solves an optimization model. Thread-safety: this function must not be called while modifying the Model (addingSTRING
HIGHortools/math_opt/python/solve.py225Solves the current optimization model. Args: params: The non-model specific solve parameters. STRING
HIGHortools/math_opt/python/model_parameters.py81Returns an equivalent SolutionHint to `hint_proto`. Args: hint_proto: The solution, as encoded by the ids of STRING
HIGHortools/math_opt/python/elemental/elemental.py119Removes `elements` from the model, returning true elementwise on success. A value of false is returned when an STRING
HIGHortools/math_opt/python/elemental/elemental.py148Returns the name of each element in `elements`. Note that elements have a default name of '' if no name is provSTRING
HIGHortools/math_opt/python/elemental/elemental.py229Returns the attribute value for a key. The type of the attribute determines the number of elements in the key aSTRING
HIGHortools/math_opt/python/elemental/elemental.py253Returns the values of an attribute for a list of keys. Repeated keys are okay. Args: attr: TSTRING
HIGHortools/math_opt/python/elemental/elemental.py279Returns which keys take a value different from the attribute's default. Repeated keys are okay. Args: STRING
HIGHortools/math_opt/python/elemental/elemental.py312Returns the keys with a non-default value for an attribute along a slice. Args: attr: The attribute tSTRING
HIGHortools/math_opt/python/elemental/elemental.py335Returns a ModelProto equivalent to this model. Args: remove_names: If True, exclude names (e.g. variaSTRING
HIGHortools/math_opt/python/elemental/elemental.py371Returns a ModelUpdateProto with the changes for the Diff `diff_id`. Args: diff_id: The id of the DiffSTRING
HIGHortools/math_opt/python/ipc/remote_http_solve.py45Solves a MathOpt model via HTTP request to the OR API. Args: model: The optimization model. solver_typeSTRING
HIGHortools/math_opt/python/ipc/remote_http_solve.py123Builds a JSON payload. Args: model: The optimization model. solver_type: The underlying solver to use. STRING
HIGHortools/math_opt/python/ipc/remote_http_solve.py160Parses a JSON representation of a response to a SolveResult object. Args: json_response: bytes representing tSTRING
HIGHortools/math_opt/python/ipc/proto_converter.py41Converts a `SolveRequest` to a `SolveMathOptModelRequest`. Args: request: A `SolveRequest` request built fromSTRING
HIGHortools/math_opt/samples/python/facility_lp_benders.py407Build and return a feasibility cut. If the second stage problem is infeasible we get a dual ray (r, y) such STRING
HIGHortools/math_opt/samples/python/facility_lp_benders.py461Build and return an optimality cut. If the second stage problem is optimal we get a dual solution (r, y) such STRING
HIGH…ols/math_opt/samples/python/time_indexed_scheduling.py139Solves a time indexed scheduling problem, returning the best schedule. Args: jobs: The jobs to be scheduled, STRING
HIGHortools/math_opt/samples/python/cutting_stock.py141Solves the worker problem. Solves the problem on finding the configuration (with its objective value) to add thSTRING
HIGHortools/math_opt/samples/python/cutting_stock.py186Solves the full cutting stock problem by decomposition. Args: instance: A cutting stock instance. ReturnSTRING
HIGHortools/linear_solver/python/model_builder.py71Creates a new linear constraint in the helper. It handles boolean values (which might arise in the construction of STRING
7 more matches not shown…
Decorative Section Separators66 hits · 254 pts
SeverityFileLineSnippetContext
MEDIUM.cmake-format.py15# ----------------------------------COMMENT
MEDIUM.cmake-format.py17# ----------------------------------COMMENT
MEDIUM.cmake-format.py40# -----------------------------COMMENT
MEDIUM.cmake-format.py42# -----------------------------COMMENT
MEDIUM.cmake-format.py122# ------------------------------------------------COMMENT
MEDIUM.cmake-format.py124# ------------------------------------------------COMMENT
MEDIUM.cmake-format.py166# ----------------------------COMMENT
MEDIUM.cmake-format.py168# ----------------------------COMMENT
MEDIUM.cmake-format.py223# -------------------------------COMMENT
MEDIUM.cmake-format.py225# -------------------------------COMMENT
MEDIUM.cmake-format.py238# -------------------------------------COMMENT
MEDIUM.cmake-format.py240# -------------------------------------COMMENT
MEDIUMexamples/python/music_playlist_sat.py38 # --------------------COMMENT
MEDIUMexamples/python/music_playlist_sat.py40 # --------------------COMMENT
MEDIUMexamples/python/music_playlist_sat.py138 # --------------------COMMENT
MEDIUMexamples/python/music_playlist_sat.py140 # --------------------COMMENT
MEDIUMexamples/python/music_playlist_sat.py143 # --------------------COMMENT
MEDIUMexamples/python/music_playlist_sat.py145 # --------------------COMMENT
MEDIUMexamples/python/music_playlist_sat.py149 # --------------------COMMENT
MEDIUMexamples/python/music_playlist_sat.py151 # --------------------COMMENT
MEDIUMexamples/python/music_playlist_sat.py200 # --------------------COMMENT
MEDIUMexamples/python/music_playlist_sat.py202 # --------------------COMMENT
MEDIUMexamples/python/music_playlist_sat.py248 # --------------------COMMENT
MEDIUMexamples/python/music_playlist_sat.py250 # --------------------COMMENT
MEDIUMexamples/python/music_playlist_sat.py256 # -----------------------COMMENT
MEDIUMexamples/python/music_playlist_sat.py258 # -----------------------COMMENT
MEDIUM…machine_scheduling_with_setup_release_due_dates_sat.py22# ----------------------------------------------------------------------------COMMENT
MEDIUM…machine_scheduling_with_setup_release_due_dates_sat.py37# ----------------------------------------------------------------------------COMMENT
MEDIUM…machine_scheduling_with_setup_release_due_dates_sat.py60 # ----------------------------------------------------------------------------COMMENT
MEDIUM…machine_scheduling_with_setup_release_due_dates_sat.py377 # ----------------------------------------------------------------------------COMMENT
MEDIUM…machine_scheduling_with_setup_release_due_dates_sat.py382 # ----------------------------------------------------------------------------COMMENT
MEDIUM…machine_scheduling_with_setup_release_due_dates_sat.py404 # ----------------------------------------------------------------------------COMMENT
MEDIUM…machine_scheduling_with_setup_release_due_dates_sat.py408 # ----------------------------------------------------------------------------COMMENT
MEDIUM…machine_scheduling_with_setup_release_due_dates_sat.py415 # ----------------------------------------------------------------------------COMMENT
MEDIUM…machine_scheduling_with_setup_release_due_dates_sat.py421 # ----------------------------------------------------------------------------COMMENT
MEDIUM…machine_scheduling_with_setup_release_due_dates_sat.py442 # ----------------------------------------------------------------------------COMMENT
MEDIUM…machine_scheduling_with_setup_release_due_dates_sat.py477 # ----------------------------------------------------------------------------COMMENT
MEDIUM…machine_scheduling_with_setup_release_due_dates_sat.py483 # ----------------------------------------------------------------------------COMMENT
MEDIUM…machine_scheduling_with_setup_release_due_dates_sat.py489 # ----------------------------------------------------------------------------COMMENT
MEDIUM…machine_scheduling_with_setup_release_due_dates_sat.py496 # ----------------------------------------------------------------------------COMMENT
MEDIUMexamples/python/car_sequencing_optimization_sat.py131 # --------------------COMMENT
MEDIUMexamples/python/car_sequencing_optimization_sat.py133 # --------------------COMMENT
MEDIUMexamples/python/car_sequencing_optimization_sat.py164 # --------------------COMMENT
MEDIUMexamples/python/car_sequencing_optimization_sat.py166 # --------------------COMMENT
MEDIUMexamples/python/car_sequencing_optimization_sat.py169 # --------------------COMMENT
MEDIUMexamples/python/car_sequencing_optimization_sat.py171 # --------------------COMMENT
MEDIUMexamples/python/car_sequencing_optimization_sat.py179 # --------------------COMMENT
MEDIUMexamples/python/car_sequencing_optimization_sat.py181 # --------------------COMMENT
MEDIUMexamples/python/car_sequencing_optimization_sat.py214 # --------------------COMMENT
MEDIUMexamples/python/car_sequencing_optimization_sat.py216 # --------------------COMMENT
MEDIUMexamples/python/car_sequencing_optimization_sat.py219 # --------------------COMMENT
MEDIUMexamples/python/car_sequencing_optimization_sat.py221 # --------------------COMMENT
MEDIUMexamples/contrib/scheduling_with_transitions_sat.py13#----------------------------------------------------------------------------COMMENT
MEDIUMexamples/contrib/scheduling_with_transitions_sat.py25#----------------------------------------------------------------------------COMMENT
MEDIUMexamples/contrib/scheduling_with_transitions_sat.py49 #----------------------------------------------------------------------------COMMENT
MEDIUMexamples/contrib/scheduling_with_transitions_sat.py103 #----------------------------------------------------------------------------COMMENT
MEDIUMexamples/contrib/scheduling_with_transitions_sat.py110 #----------------------------------------------------------------------------COMMENT
MEDIUMexamples/contrib/scheduling_with_transitions_sat.py114 #----------------------------------------------------------------------------COMMENT
MEDIUMexamples/contrib/scheduling_with_transitions_sat.py126 #----------------------------------------------------------------------------COMMENT
MEDIUMexamples/contrib/scheduling_with_transitions_sat.py140 #----------------------------------------------------------------------------COMMENT
6 more matches not shown…
Unused Imports193 hits · 133 pts
SeverityFileLineSnippetContext
LOWtools/check_python_deps.py42CODE
LOWtools/check_python_deps.py23CODE
LOWtools/check_python_deps.py24CODE
LOWtools/check_python_deps.py27CODE
LOWtools/check_python_deps.py200CODE
LOWtools/check_python_deps.py203CODE
LOWtools/check_python_deps.py206CODE
LOWtools/check_python_deps.py209CODE
LOWtools/testing/bintest_script_runner_test.py15CODE
LOWexamples/python/transit_time.py24CODE
LOWexamples/contrib/p_median.py36CODE
LOWexamples/contrib/furniture_moving.py38CODE
LOWexamples/contrib/organize_day.py34CODE
LOWexamples/contrib/3_jugs_regular.py51CODE
LOWexamples/contrib/ski_assignment.py50CODE
LOWexamples/contrib/olympic.py58CODE
LOWexamples/contrib/stable_marriage.py40CODE
LOWexamples/contrib/check_dependencies.py22CODE
LOWexamples/contrib/check_dependencies.py13CODE
LOWexamples/contrib/check_dependencies.py13CODE
LOWexamples/contrib/check_dependencies.py14CODE
LOWexamples/contrib/check_dependencies.py93CODE
LOWexamples/contrib/check_dependencies.py94CODE
LOWexamples/contrib/check_dependencies.py95CODE
LOWexamples/contrib/check_dependencies.py96CODE
LOWexamples/contrib/check_dependencies.py113CODE
LOWexamples/contrib/check_dependencies.py114CODE
LOWexamples/contrib/grocery.py38CODE
LOWexamples/contrib/covering_opl.py58CODE
LOWexamples/contrib/kakuro.py57CODE
LOWexamples/contrib/marathon2.py49CODE
LOWexamples/contrib/lectures.py46CODE
LOWexamples/contrib/wedding_optimal_chart.py17CODE
LOWexamples/contrib/killer_sudoku.py70CODE
LOWexamples/contrib/nurses_cp.py1CODE
LOWexamples/contrib/max_flow_winston1.py30CODE
LOWexamples/contrib/traffic_lights.py72CODE
LOWexamples/contrib/bus_schedule.py36CODE
LOWexamples/contrib/coins3.py41CODE
LOWexamples/contrib/rogo2.py48CODE
LOWexamples/contrib/secret_santa2.py63CODE
LOWexamples/contrib/mr_smith.py49CODE
LOWexamples/contrib/sicherman_dice.py61CODE
LOWexamples/contrib/kenken2.py58CODE
LOWexamples/contrib/production.py24CODE
LOWexamples/contrib/secret_santa.py62CODE
LOWexamples/contrib/place_number_puzzle.py42CODE
LOWexamples/contrib/combinatorial_auction2.py31CODE
LOWexamples/contrib/combinatorial_auction2.py32CODE
LOWortools/math_opt/python/mathopt.py38CODE
LOWortools/math_opt/python/mathopt.py39CODE
LOWortools/math_opt/python/mathopt.py40CODE
LOWortools/math_opt/python/mathopt.py41CODE
LOWortools/math_opt/python/mathopt.py42CODE
LOWortools/math_opt/python/mathopt.py43CODE
LOWortools/math_opt/python/mathopt.py44CODE
LOWortools/math_opt/python/mathopt.py45CODE
LOWortools/math_opt/python/mathopt.py46CODE
LOWortools/math_opt/python/mathopt.py47CODE
LOWortools/math_opt/python/mathopt.py48CODE
133 more matches not shown…
Deep Nesting111 hits · 104 pts
SeverityFileLineSnippetContext
LOWtools/testing/bintest_script_runner.py42CODE
LOWexamples/python/clustering_sat.py68CODE
LOWexamples/python/rcpsp_sat.py46CODE
LOWexamples/python/rcpsp_sat.py91CODE
LOWexamples/python/horse_jumping_show.py144CODE
LOWexamples/python/arc_flow_cutting_stock_sat.py207CODE
LOWexamples/python/weighted_latency_problem_sat.py60CODE
LOWexamples/python/prize_collecting_tsp_sat.py74CODE
LOWexamples/python/reallocate_sat.py21CODE
LOWexamples/python/assignment_with_constraints_sat.py22CODE
LOWexamples/python/bus_driver_scheduling_sat.py1711CODE
LOWexamples/python/pentominoes_sat.py85CODE
LOWexamples/python/pentominoes_sat.py109CODE
LOWexamples/python/line_balancing_sat.py69CODE
LOWexamples/python/maze_escape_sat.py73CODE
LOWexamples/python/jobshop_ft06_sat.py32CODE
LOWexamples/python/steel_mill_slab_sat.py160CODE
LOWexamples/python/steel_mill_slab_sat.py359CODE
LOWexamples/python/cover_rectangle_sat.py22CODE
LOWexamples/python/jobshop_ft06_distance_sat.py39CODE
LOWexamples/python/hidato_sat.py23CODE
LOWexamples/python/hidato_sat.py81CODE
LOWexamples/python/tsp_sat.py65CODE
LOWexamples/python/flexible_job_shop_sat.py49CODE
LOWexamples/python/sudoku_sat.py20CODE
LOWexamples/python/prize_collecting_vrp_sat.py74CODE
LOWexamples/python/prize_collecting_vrp_sat.py125CODE
LOWexamples/python/no_wait_baking_scheduling_sat.py197CODE
LOWexamples/python/car_sequencing_optimization_sat.py128CODE
LOWexamples/python/tasks_and_workers_assignment_sat.py37CODE
LOWexamples/python/shift_scheduling_sat.py206CODE
LOWexamples/contrib/costas_array.py67CODE
LOWexamples/contrib/nqueens2.py31CODE
LOWexamples/contrib/nqueens.py27CODE
LOWexamples/contrib/regular.py115CODE
LOWexamples/contrib/regular_table2.py92CODE
LOWexamples/contrib/nqueens3.py33CODE
LOWexamples/contrib/set_partition.py70CODE
LOWexamples/contrib/labeled_dice.py52CODE
LOWexamples/contrib/nonogram_table.py140CODE
LOWexamples/contrib/nonogram_table.py223CODE
LOWexamples/contrib/regular_table.py108CODE
LOWexamples/contrib/young_tableaux.py67CODE
LOWexamples/contrib/scheduling_with_transitions_sat.py42CODE
LOWexamples/contrib/kakuro.py79CODE
LOWexamples/contrib/nonogram_regular.py144CODE
LOWexamples/contrib/nonogram_regular.py227CODE
LOWexamples/contrib/marathon2.py53CODE
LOWexamples/contrib/wedding_optimal_chart.py43CODE
LOWexamples/contrib/set_covering3.py51CODE
LOWexamples/contrib/minesweeper.py77CODE
LOWexamples/contrib/rostering_with_travel.py4CODE
LOWexamples/contrib/crew.py44CODE
LOWexamples/contrib/photo_problem.py53CODE
LOWexamples/contrib/assignment.py36CODE
LOWexamples/contrib/school_scheduling_sat.py80CODE
LOWexamples/contrib/school_scheduling_sat.py182CODE
LOWexamples/contrib/school_scheduling_sat.py197CODE
LOWexamples/contrib/school_scheduling_sat.py215CODE
LOWexamples/contrib/max_flow_winston1.py34CODE
51 more matches not shown…
AI Slop Vocabulary16 hits · 46 pts
SeverityFileLineSnippetContext
LOWexamples/python/nqueens_sat.py75 # different, so we just add the all different constraint on the rows.COMMENT
MEDIUMortools/util/strong_integers.h19// other operations from other similar integer-like types. Essentially, theCOMMENT
MEDIUMortools/util/return_macros.h19// It is not perfect, but more robust than crashing right away.COMMENT
MEDIUMortools/pdlp/test_util.h296// to the first mismatched element if they do not. Essentially an elementwiseCOMMENT
MEDIUMortools/pdlp/test_util.h324// within 4 units of least precision (ULP) in float precision. Essentially anCOMMENT
MEDIUMortools/graph/hamiltonian_path.h805 // make the algorithm not robust because of precision issues.COMMENT
MEDIUMortools/graph/hamiltonian_path.h955 // to utilize cache as possible.COMMENT
MEDIUMortools/graph/linear_assignment.h146// Reduced cost: Essentially an arc's reduced cost is itsCOMMENT
MEDIUMortools/sat/linear_constraint_manager.h365 // are robust to collisions because we always relies on the ground truthCOMMENT
MEDIUMortools/sat/integer.h1073 // TODO(user): Not really robust, try to find a better way.COMMENT
MEDIUM…ls/sat/samples/transitions_in_no_overlap_sample_sat.py158 # Creates intervals, all present. But the cost is robust w.r.t. optionalCOMMENT
MEDIUMortools/lp_data/lp_data.h499 // does look more robust.COMMENT
MEDIUMortools/constraint_solver/routing_filters.h1039// A straightforward computation would best leverage SIMD instructions whenCOMMENT
MEDIUMortools/constraint_solver/constraint_solver.h4219/// robust to domain changes. Hole iterators can also report values outsideCOMMENT
MEDIUMortools/base/int_type.h17// other operations from other similar integer-like types. Essentially, theCOMMENT
MEDIUMortools/base/int_type.h126// The following bad usage is permissible although discouraged. Essentially, itCOMMENT
Cross-Language Confusion3 hits · 18 pts
SeverityFileLineSnippetContext
HIGHortools/sat/python/cp_model.py299 if value_or_series.index.equals(index):CODE
HIGHortools/linear_solver/python/model_builder.py1403 if value_or_series.index.equals(index):CODE
HIGHortools/linear_solver/python/model_builder.py1431 if var_or_series.index.equals(index):CODE
Example Usage Blocks10 hits · 15 pts
SeverityFileLineSnippetContext
LOWexamples/cpp/cgc.h27// Example usage:COMMENT
LOWortools/bop/bop_solver.h30// Usage example:COMMENT
LOWortools/util/stats.h16// Usage example:COMMENT
LOWortools/graph/assignment.h25// Example usage:COMMENT
LOWortools/graph/linear_assignment.h31// Example usage:COMMENT
LOWortools/math_opt/tools/file_format_flags.h89// Usage example:COMMENT
LOWortools/math_opt/tools/file_format_flags.h103// Usage example:COMMENT
LOWortools/math_opt/tools/file_format_flags.h130// Usage example:COMMENT
LOWortools/math_opt/core/sparse_submatrix.h50// Usage example:COMMENT
LOWortools/math_opt/cpp/enums.h98// Usage example:COMMENT
AI Response Leakage2 hits · 15 pts
SeverityFileLineSnippetContext
HIGHortools/graph/shortest_paths.h647 // In this implementation the distance of a node to itself isn't necessarilyCOMMENT
HIGHortools/graph/linear_assignment.h131// eligible to be pushed from. In this implementation, every activeCOMMENT
Modern Structural Boilerplate10 hits · 10 pts
SeverityFileLineSnippetContext
LOWortools/math_opt/python/linear_constraints.py103 def set_coefficient(self, var: variables.Variable, coefficient: float) -> None:CODE
LOWortools/math_opt/python/objectives.py131 def set_linear_coefficient(self, var: variables.Variable, coef: float) -> None:CODE
LOWortools/math_opt/python/objectives.py239 def set_to_linear_expression(self, linear_expr: variables.LinearTypes) -> None:CODE
LOWortools/math_opt/python/objectives.py274 def set_to_expression(self, expr: variables.QuadraticTypes) -> None:CODE
LOWortools/math_opt/python/objectives.py320 def set_linear_coefficient(self, var: variables.Variable, coef: float) -> None:CODE
LOWortools/math_opt/python/objectives.py471 def set_linear_coefficient(self, var: variables.Variable, coef: float) -> None:CODE
LOWortools/linear_solver/python/model_builder.py1206 def set_time_limit_in_seconds(self, limit: NumberT) -> None:CODE
LOWortools/linear_solver/python/model_builder.py1210 def set_solver_specific_parameters(self, parameters: str) -> None:CODE
LOWortools/linear_solver/python/model_builder.py282 def set_coefficient(self, var: Variable, coeff: NumberT) -> None:CODE
LOWortools/linear_solver/python/model_builder.py426 def set_coefficient(self, var: Variable, coeff: NumberT) -> None:CODE
Redundant / Tautological Comments5 hits · 6 pts
SeverityFileLineSnippetContext
LOWtools/check_python_deps.py196 # Check if python can load the libraries' modulesCOMMENT
LOWexamples/contrib/check_dependencies.py90 # Check if python can load the libraries' modulesCOMMENT
LOWexamples/contrib/check_dependencies.py112 #Check if the protobuf modules were successfully generatedCOMMENT
LOWortools/math_opt/python/message_callback.py22 # Print messages to stdout.STRING
LOW…s/linear_solver/samples/integer_programming_example.py83 # Print the value of each variable in the solution.COMMENT
Slop Phrases3 hits · 6 pts
SeverityFileLineSnippetContext
MEDIUMortools/sat/integer_expr.h221// Complexity: This is a basic implementation in O(num_vars) on each call toCOMMENT
LOWortools/math_opt/core/solver_interface_mock.h59// To simulate a error in the instantiation of the solver, don't forget to useCOMMENT
MEDIUMortools/constraint_solver/routing.h112Here is a simple example solving a traveling salesman problem given a costCODE
Excessive Try-Catch Wrapping4 hits · 6 pts
SeverityFileLineSnippetContext
LOWtools/testing/bintest_script_runner.py67 except Exception as e:CODE
LOWortools/util/python/solve_interrupter.py110 except Exception as e: # pylint: disable=broad-exception-caughtCODE
MEDIUMortools/sat/docs/integer_arithmetic.md1437 print('Something went wrong. Please check the status and the log')CODE
MEDIUM…ls/sat/samples/all_different_except_zero_sample_sat.py82 print("Something went wrong. Please check the status and the log")CODE
Structural Annotation Overuse4 hits · 6 pts
SeverityFileLineSnippetContext
LOWortools/set_cover/set_cover_cft.h137 // NOTE: This function contains one of the two O(nnz) subgradient stepsCOMMENT
LOWortools/pdlp/iteration_stats.h47// NOTE: This function assumes that `scaled_primal_solution` satisfies theCOMMENT
LOWortools/math_opt/core/model_summary.h237// NOTE: This function is only exposed in the header because we needCOMMENT
LOWortools/constraint_solver/routing_lp_scheduling.h687 // NOTE: This function is not implemented for the CP-SAT solver.COMMENT
Modern AI Meta-Vocabulary1 hit · 3 pts
SeverityFileLineSnippetContext
MEDIUMCMakeLists.txt14# This file is just an orchestrationCOMMENT
AI Structural Patterns4 hits · 3 pts
SeverityFileLineSnippetContext
LOWortools/math_opt/core/python/solver_test.py45CODE
LOWortools/math_opt/python/model.py335CODE
LOWortools/math_opt/python/model.py344CODE
LOWortools/math_opt/python/solve.py37CODE
Overly Generic Function Names3 hits · 2 pts
SeverityFileLineSnippetContext
LOWortools/linear_solver/python/model_builder.py222 def helper(self) -> mbh.ModelBuilderHelper:CODE
LOWortools/linear_solver/python/model_builder.py343 def helper(self) -> mbh.ModelBuilderHelper:CODE
LOWortools/linear_solver/python/model_builder.py1181 def helper(self) -> mbh.ModelBuilderHelper:CODE