Skip to main content

CrystalDocs builds documentation for every shard, on request. The announcement: Documentation for every shard, on CrystalBits.

Search documentation

Browse Docs CrystalShards About

github.com/darkstego/ortools-sat

Version:

Filter types

Types

Int
ORTools
- Sat
OperationsResearch
- Sat
  - SatParameters
    BinaryMinizationAlgorithm
    ClauseOrdering
    ClauseProtection
    ConflictMinimizationAlgorithm
    FPRoundingMethod
    MaxSatAssumptionOrder
    MaxSatStratificationAlgorithm
    Polarity
    RestartAlgorithm
    SearchBranching
    SharedTreeSplitStrategy
    VariableOrder

module

OperationsResearch

Nested types

OperationsResearch::Sat

Advertisement

Crystal jobs from CrystalGigs

Your posting here
Reach Crystal developers on CrystalGigsFirst party

CrystalDocs.org - Crystal Shard Documentation Hosting

The CrystalBits newsletter

Crystal tutorials, release news and community writing. One email when there is something new, never a stream.

Email address

You will get one confirmation email to check the address is yours. Unsubscribe any time.

GitHub CrystalShards CrystalGigs CrystalBits Crystal Language Stats Sponsor

The Bushido Collective builds and maintains this site.
Licensed under the Apache License 2.0