samples

Documentation

Overview

The assumptions_sample_sat command is an example of setting assumptions on a model.

The binpacking_problem_sat command is an example of a bin packing problem that uses channeling constraints.

The bool_or_sample_sat command is simple example of the BoolOr constraint.

The boolean_product_sample_sat command is a simple example of the product of two literals.

The channeling_sample_sat command is a simple example of a channeling constraint.

The earliness_tardiness_cost_sample_sat command is an example of an implementation of a convex piecewise linear function.

The interval_sample_sat_go command is a simple example of the Interval variable.

The literal_sample_sat command is a simple example of literals.

The no_overlap_sample_sat command is an example of the NoOverlap constraints.

The nqueens_sat command is an OR-Tools solution to the N-queens problem.

The nurses_sat command is an example of a simple nurse scheduling problem.

The optional_interval_sample_sat command is an example of an Interval variable that is marked as optional.

The rabbits_and_pheasants_sat command is an example of a simple sat program that solves the rabbits and pheasants problem.

The ranking_sample_sat command is an example of ranking intervals in a NoOverlap constraint.

The reified_sample_sat command is a simple example of implication constraints.

The search_for_all_solutions_sample_sat command is an example for how to search for all solutions.

The simple_sat_program command is an example of a simple sat program.

The solution_hinting_sample_sat command is an example of setting solution hints on the model.

The solve_and_print_intermediate_solutions_sample_sat command

The solve_with_time_limit_sample_sat command is an example of setting a time limit on the model.

The step_function_sample_sat command is an example of an implementation of a step function.