ORTools::Sat
Module to access ORTools::Sat from within Crystal
Constants
VERSION = {{ (`shards version \"/tmp/tmp.dJgpGB/src/src\"`).stringify.chomp }}
Nested types
- ORTools::Sat::AllDifferentConstraintProto
- ORTools::Sat::AutomatonConstraintProto
- ORTools::Sat::BoolArgumentProto
- ORTools::Sat::BoolVar
- ORTools::Sat::CircuitConstraintProto
- ORTools::Sat::ConstraintProto
- ORTools::Sat::CpModelProto
- ORTools::Sat::CpObjectiveProto
- ORTools::Sat::CpSolverResponse
- ORTools::Sat::CpSolverSolution
- ORTools::Sat::CpSolverStatus
- ORTools::Sat::CumulativeConstraintProto
- ORTools::Sat::DecisionStrategyProto
- ORTools::Sat::DenseMatrixProto
- ORTools::Sat::ElementConstraintProto
- ORTools::Sat::Expressible
- ORTools::Sat::FloatObjectiveProto
- ORTools::Sat::IntVar
- ORTools::Sat::IntegerVariableProto
- ORTools::Sat::IntervalConstraintProto
- ORTools::Sat::InverseConstraintProto
- ORTools::Sat::LinearArgumentProto
- ORTools::Sat::LinearConstraint
- ORTools::Sat::LinearConstraintProto
- ORTools::Sat::LinearExpression
- ORTools::Sat::LinearExpressionProto
- ORTools::Sat::ListOfVariablesProto
- ORTools::Sat::Model
- ORTools::Sat::NoOverlap2DConstraintProto
- ORTools::Sat::NoOverlapConstraintProto
- ORTools::Sat::PartialVariableAssignment
- ORTools::Sat::ReservoirConstraintProto
- ORTools::Sat::RoutesConstraintProto
- ORTools::Sat::Solution
- ORTools::Sat::SolverError
- ORTools::Sat::SparsePermutationProto
- ORTools::Sat::SymmetryProto
- ORTools::Sat::TableConstraintProto
- ORTools::Sat::ValidSolution