mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-10 07:04:03 +00:00
366 lines
13 KiB
Plaintext
366 lines
13 KiB
Plaintext
bin/assignment_mip
|
|
bin/assignment_sat
|
|
bin/basic_example
|
|
bin/bin_packing_mip
|
|
bin/binpacking_problem_sat
|
|
bin/bool_or_sample_sat
|
|
bin/channeling_sample_sat
|
|
bin/cp_is_fun_sat
|
|
bin/earliness_tardiness_cost_sample_sat
|
|
bin/fz
|
|
bin/integer_programming_example
|
|
bin/interval_sample_sat
|
|
bin/knapsack
|
|
bin/linear_programming_example
|
|
bin/literal_sample_sat
|
|
bin/minimal_jobshop_cp
|
|
bin/mip_var_array
|
|
bin/multiple_knapsack_mip
|
|
bin/multiple_knapsack_sat
|
|
bin/no_overlap_sample_sat
|
|
bin/nurses_cp
|
|
bin/optional_interval_sample_sat
|
|
bin/rabbits_and_pheasants_cp
|
|
bin/rabbits_and_pheasants_sat
|
|
bin/ranking_sample_sat
|
|
bin/reified_sample_sat
|
|
bin/search_for_all_solutions_sample_sat
|
|
bin/simple_cp_program
|
|
bin/simple_knapsack_program
|
|
bin/simple_lp_program
|
|
bin/simple_ls_program
|
|
bin/simple_max_flow_program
|
|
bin/simple_min_cost_flow_program
|
|
bin/simple_mip_program
|
|
bin/simple_routing_program
|
|
bin/simple_sat_program
|
|
bin/solution_hinting_sample_sat
|
|
bin/solve_and_print_intermediate_solutions_sample_sat
|
|
bin/solve_with_time_limit_sample_sat
|
|
bin/step_function_sample_sat
|
|
bin/stop_after_n_solutions_sample_sat
|
|
bin/tsp
|
|
bin/tsp_circuit_board
|
|
bin/tsp_cities
|
|
bin/tsp_cities_routes
|
|
bin/tsp_distance_matrix
|
|
bin/vrp
|
|
bin/vrp_capacity
|
|
bin/vrp_drop_nodes
|
|
bin/vrp_global_span
|
|
bin/vrp_initial_routes
|
|
bin/vrp_pickup_delivery
|
|
bin/vrp_pickup_delivery_fifo
|
|
bin/vrp_pickup_delivery_lifo
|
|
bin/vrp_resources
|
|
bin/vrp_routes
|
|
bin/vrp_starts_ends
|
|
bin/vrp_time_windows
|
|
bin/vrp_with_time_limit
|
|
bin/vrptw_store_solution_data
|
|
include/ortools/algorithms/dense_doubly_linked_list.h
|
|
include/ortools/algorithms/dynamic_partition.h
|
|
include/ortools/algorithms/dynamic_permutation.h
|
|
include/ortools/algorithms/find_graph_symmetries.h
|
|
include/ortools/algorithms/hungarian.h
|
|
include/ortools/algorithms/knapsack_solver.h
|
|
include/ortools/algorithms/knapsack_solver_for_cuts.h
|
|
include/ortools/algorithms/sparse_permutation.h
|
|
include/ortools/base/accurate_sum.h
|
|
include/ortools/base/adjustable_priority_queue-inl.h
|
|
include/ortools/base/adjustable_priority_queue.h
|
|
include/ortools/base/base_export.h
|
|
include/ortools/base/basictypes.h
|
|
include/ortools/base/bitmap.h
|
|
include/ortools/base/cleanup.h
|
|
include/ortools/base/commandlineflags.h
|
|
include/ortools/base/container_logging.h
|
|
include/ortools/base/dynamic_library.h
|
|
include/ortools/base/encodingutils.h
|
|
include/ortools/base/file.h
|
|
include/ortools/base/filelineiter.h
|
|
include/ortools/base/hash.h
|
|
include/ortools/base/int_type.h
|
|
include/ortools/base/integral_types.h
|
|
include/ortools/base/iterator_adaptors.h
|
|
include/ortools/base/jniutil.h
|
|
include/ortools/base/log_severity.h
|
|
include/ortools/base/logging.h
|
|
include/ortools/base/logging_export.h
|
|
include/ortools/base/logging_utilities.h
|
|
include/ortools/base/macros.h
|
|
include/ortools/base/map_util.h
|
|
include/ortools/base/mathutil.h
|
|
include/ortools/base/murmur.h
|
|
include/ortools/base/protobuf_util.h
|
|
include/ortools/base/protoutil.h
|
|
include/ortools/base/ptr_util.h
|
|
include/ortools/base/python-swig.h
|
|
include/ortools/base/random.h
|
|
include/ortools/base/raw_logging.h
|
|
include/ortools/base/recordio.h
|
|
include/ortools/base/small_map.h
|
|
include/ortools/base/small_ordered_set.h
|
|
include/ortools/base/status_builder.h
|
|
include/ortools/base/status_macros.h
|
|
include/ortools/base/stl_logging.h
|
|
include/ortools/base/stl_util.h
|
|
include/ortools/base/strong_vector.h
|
|
include/ortools/base/sysinfo.h
|
|
include/ortools/base/thorough_hash.h
|
|
include/ortools/base/threadpool.h
|
|
include/ortools/base/timer.h
|
|
include/ortools/base/typeid.h
|
|
include/ortools/base/version.h
|
|
include/ortools/base/vlog_is_on.h
|
|
include/ortools/bop/bop_base.h
|
|
include/ortools/bop/bop_fs.h
|
|
include/ortools/bop/bop_lns.h
|
|
include/ortools/bop/bop_ls.h
|
|
include/ortools/bop/bop_parameters.pb.h
|
|
include/ortools/bop/bop_portfolio.h
|
|
include/ortools/bop/bop_solution.h
|
|
include/ortools/bop/bop_solver.h
|
|
include/ortools/bop/bop_types.h
|
|
include/ortools/bop/bop_util.h
|
|
include/ortools/bop/complete_optimizer.h
|
|
include/ortools/bop/integral_solver.h
|
|
include/ortools/constraint_solver/assignment.pb.h
|
|
include/ortools/constraint_solver/constraint_solver.h
|
|
include/ortools/constraint_solver/constraint_solveri.h
|
|
include/ortools/constraint_solver/demon_profiler.pb.h
|
|
include/ortools/constraint_solver/java/javawrapcp_util.h
|
|
include/ortools/constraint_solver/python/pywrapcp_util.h
|
|
include/ortools/constraint_solver/routing.h
|
|
include/ortools/constraint_solver/routing_enums.pb.h
|
|
include/ortools/constraint_solver/routing_flags.h
|
|
include/ortools/constraint_solver/routing_index_manager.h
|
|
include/ortools/constraint_solver/routing_lp_scheduling.h
|
|
include/ortools/constraint_solver/routing_neighborhoods.h
|
|
include/ortools/constraint_solver/routing_parameters.h
|
|
include/ortools/constraint_solver/routing_parameters.pb.h
|
|
include/ortools/constraint_solver/routing_types.h
|
|
include/ortools/constraint_solver/search_limit.pb.h
|
|
include/ortools/constraint_solver/search_stats.pb.h
|
|
include/ortools/constraint_solver/solver_parameters.pb.h
|
|
include/ortools/data/jobshop_scheduling.pb.h
|
|
include/ortools/data/jobshop_scheduling_parser.h
|
|
include/ortools/data/rcpsp.pb.h
|
|
include/ortools/data/rcpsp_parser.h
|
|
include/ortools/data/set_covering_data.h
|
|
include/ortools/data/set_covering_parser.h
|
|
include/ortools/flatzinc/checker.h
|
|
include/ortools/flatzinc/cp_model_fz_solver.h
|
|
include/ortools/flatzinc/logging.h
|
|
include/ortools/flatzinc/model.h
|
|
include/ortools/flatzinc/parser.h
|
|
include/ortools/flatzinc/parser_util.h
|
|
include/ortools/flatzinc/presolve.h
|
|
include/ortools/glop/basis_representation.h
|
|
include/ortools/glop/dual_edge_norms.h
|
|
include/ortools/glop/entering_variable.h
|
|
include/ortools/glop/initial_basis.h
|
|
include/ortools/glop/lp_solver.h
|
|
include/ortools/glop/lu_factorization.h
|
|
include/ortools/glop/markowitz.h
|
|
include/ortools/glop/parameters.pb.h
|
|
include/ortools/glop/preprocessor.h
|
|
include/ortools/glop/primal_edge_norms.h
|
|
include/ortools/glop/rank_one_update.h
|
|
include/ortools/glop/reduced_costs.h
|
|
include/ortools/glop/revised_simplex.h
|
|
include/ortools/glop/status.h
|
|
include/ortools/glop/update_row.h
|
|
include/ortools/glop/variable_values.h
|
|
include/ortools/glop/variables_info.h
|
|
include/ortools/graph/assignment.h
|
|
include/ortools/graph/christofides.h
|
|
include/ortools/graph/cliques.h
|
|
include/ortools/graph/connected_components.h
|
|
include/ortools/graph/ebert_graph.h
|
|
include/ortools/graph/eulerian_path.h
|
|
include/ortools/graph/flow_problem.pb.h
|
|
include/ortools/graph/graph.h
|
|
include/ortools/graph/graphs.h
|
|
include/ortools/graph/hamiltonian_path.h
|
|
include/ortools/graph/io.h
|
|
include/ortools/graph/iterators.h
|
|
include/ortools/graph/linear_assignment.h
|
|
include/ortools/graph/max_flow.h
|
|
include/ortools/graph/min_cost_flow.h
|
|
include/ortools/graph/minimum_spanning_tree.h
|
|
include/ortools/graph/one_tree_lower_bound.h
|
|
include/ortools/graph/perfect_matching.h
|
|
include/ortools/graph/shortestpaths.h
|
|
include/ortools/graph/strongly_connected_components.h
|
|
include/ortools/graph/topologicalsorter.h
|
|
include/ortools/graph/util.h
|
|
include/ortools/gscip/gscip.h
|
|
include/ortools/gscip/gscip_ext.h
|
|
include/ortools/gscip/gscip_parameters.h
|
|
include/ortools/gscip/legacy_scip_params.h
|
|
include/ortools/linear_solver/glop_utils.h
|
|
include/ortools/linear_solver/gurobi_environment.h
|
|
include/ortools/linear_solver/gurobi_proto_solver.h
|
|
include/ortools/linear_solver/linear_expr.h
|
|
include/ortools/linear_solver/linear_solver.h
|
|
include/ortools/linear_solver/linear_solver.pb.h
|
|
include/ortools/linear_solver/linear_solver_callback.h
|
|
include/ortools/linear_solver/model_exporter.h
|
|
include/ortools/linear_solver/model_exporter_swig_helper.h
|
|
include/ortools/linear_solver/model_validator.h
|
|
include/ortools/linear_solver/sat_proto_solver.h
|
|
include/ortools/linear_solver/sat_solver_utils.h
|
|
include/ortools/linear_solver/scip_callback.h
|
|
include/ortools/linear_solver/scip_helper_macros.h
|
|
include/ortools/linear_solver/scip_proto_solver.h
|
|
include/ortools/lp_data/lp_data.h
|
|
include/ortools/lp_data/lp_data_utils.h
|
|
include/ortools/lp_data/lp_decomposer.h
|
|
include/ortools/lp_data/lp_print_utils.h
|
|
include/ortools/lp_data/lp_types.h
|
|
include/ortools/lp_data/lp_utils.h
|
|
include/ortools/lp_data/matrix_scaler.h
|
|
include/ortools/lp_data/matrix_utils.h
|
|
include/ortools/lp_data/model_reader.h
|
|
include/ortools/lp_data/mps_reader.h
|
|
include/ortools/lp_data/permutation.h
|
|
include/ortools/lp_data/proto_utils.h
|
|
include/ortools/lp_data/scattered_vector.h
|
|
include/ortools/lp_data/sparse.h
|
|
include/ortools/lp_data/sparse_column.h
|
|
include/ortools/lp_data/sparse_row.h
|
|
include/ortools/lp_data/sparse_vector.h
|
|
include/ortools/port/file.h
|
|
include/ortools/port/proto_utils.h
|
|
include/ortools/port/sysinfo.h
|
|
include/ortools/port/utf8.h
|
|
include/ortools/sat/all_different.h
|
|
include/ortools/sat/boolean_problem.h
|
|
include/ortools/sat/boolean_problem.pb.h
|
|
include/ortools/sat/circuit.h
|
|
include/ortools/sat/clause.h
|
|
include/ortools/sat/cp_constraints.h
|
|
include/ortools/sat/cp_model.h
|
|
include/ortools/sat/cp_model.pb.h
|
|
include/ortools/sat/cp_model_checker.h
|
|
include/ortools/sat/cp_model_expand.h
|
|
include/ortools/sat/cp_model_lns.h
|
|
include/ortools/sat/cp_model_loader.h
|
|
include/ortools/sat/cp_model_objective.h
|
|
include/ortools/sat/cp_model_postsolve.h
|
|
include/ortools/sat/cp_model_presolve.h
|
|
include/ortools/sat/cp_model_search.h
|
|
include/ortools/sat/cp_model_solver.h
|
|
include/ortools/sat/cp_model_symmetries.h
|
|
include/ortools/sat/cp_model_utils.h
|
|
include/ortools/sat/cumulative.h
|
|
include/ortools/sat/cumulative_energy.h
|
|
include/ortools/sat/cuts.h
|
|
include/ortools/sat/diffn.h
|
|
include/ortools/sat/disjunctive.h
|
|
include/ortools/sat/drat_checker.h
|
|
include/ortools/sat/drat_proof_handler.h
|
|
include/ortools/sat/drat_writer.h
|
|
include/ortools/sat/encoding.h
|
|
include/ortools/sat/feasibility_pump.h
|
|
include/ortools/sat/implied_bounds.h
|
|
include/ortools/sat/integer.h
|
|
include/ortools/sat/integer_expr.h
|
|
include/ortools/sat/integer_search.h
|
|
include/ortools/sat/intervals.h
|
|
include/ortools/sat/linear_constraint.h
|
|
include/ortools/sat/linear_constraint_manager.h
|
|
include/ortools/sat/linear_programming_constraint.h
|
|
include/ortools/sat/linear_relaxation.h
|
|
include/ortools/sat/lp_utils.h
|
|
include/ortools/sat/model.h
|
|
include/ortools/sat/optimization.h
|
|
include/ortools/sat/pb_constraint.h
|
|
include/ortools/sat/precedences.h
|
|
include/ortools/sat/presolve_context.h
|
|
include/ortools/sat/presolve_util.h
|
|
include/ortools/sat/probing.h
|
|
include/ortools/sat/pseudo_costs.h
|
|
include/ortools/sat/restart.h
|
|
include/ortools/sat/rins.h
|
|
include/ortools/sat/sat_base.h
|
|
include/ortools/sat/sat_decision.h
|
|
include/ortools/sat/sat_inprocessing.h
|
|
include/ortools/sat/sat_parameters.pb.h
|
|
include/ortools/sat/sat_solver.h
|
|
include/ortools/sat/scheduling_constraints.h
|
|
include/ortools/sat/simplification.h
|
|
include/ortools/sat/subsolver.h
|
|
include/ortools/sat/swig_helper.h
|
|
include/ortools/sat/symmetry.h
|
|
include/ortools/sat/synchronization.h
|
|
include/ortools/sat/table.h
|
|
include/ortools/sat/theta_tree.h
|
|
include/ortools/sat/timetable.h
|
|
include/ortools/sat/timetable_edgefinding.h
|
|
include/ortools/sat/util.h
|
|
include/ortools/sat/var_domination.h
|
|
include/ortools/sat/zero_half_cuts.h
|
|
include/ortools/util/adaptative_parameter_value.h
|
|
include/ortools/util/affine_relation.h
|
|
include/ortools/util/bitset.h
|
|
include/ortools/util/cached_log.h
|
|
include/ortools/util/file_util.h
|
|
include/ortools/util/fp_utils.h
|
|
include/ortools/util/functions_swig_helpers.h
|
|
include/ortools/util/functions_swig_test_helpers.h
|
|
include/ortools/util/graph_export.h
|
|
include/ortools/util/integer_pq.h
|
|
include/ortools/util/lazy_mutable_copy.h
|
|
include/ortools/util/monoid_operation_tree.h
|
|
include/ortools/util/optional_boolean.pb.h
|
|
include/ortools/util/permutation.h
|
|
include/ortools/util/piecewise_linear_function.h
|
|
include/ortools/util/proto_tools.h
|
|
include/ortools/util/random_engine.h
|
|
include/ortools/util/range_minimum_query.h
|
|
include/ortools/util/range_query_function.h
|
|
include/ortools/util/rational_approximation.h
|
|
include/ortools/util/return_macros.h
|
|
include/ortools/util/rev.h
|
|
include/ortools/util/running_stat.h
|
|
include/ortools/util/saturated_arithmetic.h
|
|
include/ortools/util/sigint.h
|
|
include/ortools/util/sort.h
|
|
include/ortools/util/sorted_interval_list.h
|
|
include/ortools/util/stats.h
|
|
include/ortools/util/string_array.h
|
|
include/ortools/util/testing_utils.h
|
|
include/ortools/util/time_limit.h
|
|
include/ortools/util/tuple_set.h
|
|
include/ortools/util/vector_map.h
|
|
include/ortools/util/vector_or_function.h
|
|
include/ortools/util/zvector.h
|
|
include/ortools_export.h
|
|
lib/cmake/ortools/ortoolsConfig.cmake
|
|
lib/cmake/ortools/ortoolsConfigVersion.cmake
|
|
lib/cmake/ortools/ortoolsTargets-%%CMAKE_BUILD_TYPE%%.cmake
|
|
lib/cmake/ortools/ortoolsTargets.cmake
|
|
lib/libflatzinc.so
|
|
lib/libflatzinc.so.8
|
|
lib/libflatzinc.so.8.1.9999
|
|
lib/libortools.so
|
|
lib/libortools.so.8
|
|
lib/libortools.so.8.1.9999
|
|
share/minizinc/ortools/fzn_all_different_int.mzn
|
|
share/minizinc/ortools/fzn_circuit.mzn
|
|
share/minizinc/ortools/fzn_cumulative.mzn
|
|
share/minizinc/ortools/fzn_diffn.mzn
|
|
share/minizinc/ortools/fzn_diffn_nonstrict.mzn
|
|
share/minizinc/ortools/fzn_inverse.mzn
|
|
share/minizinc/ortools/fzn_network_flow.mzn
|
|
share/minizinc/ortools/fzn_network_flow_cost.mzn
|
|
share/minizinc/ortools/fzn_regular.mzn
|
|
share/minizinc/ortools/fzn_subcircuit.mzn
|
|
share/minizinc/ortools/fzn_table_bool.mzn
|
|
share/minizinc/ortools/fzn_table_int.mzn
|
|
share/minizinc/ortools/nostrings.mzn
|
|
share/minizinc/ortools/redefinitions-2.0.mzn
|
|
share/minizinc/solvers/ortools.msc
|