From CometPublic

Welcome to the Comet Public Wiki

This page serves as a publicly editable resource to help users better understand and use Comet.

Disclaimer: Many of the content is user contributed. The authors of Comet are grateful to their users for their contributions but the content is not endorsed by the original authors of Comet and has to be read with a critical view. We will try to spot errors and edit the pages accordingly.

Contents 1 Tutorials on Modeling and Solving Problems 1.1 Description of Meta Heuristics 2 Reference Material 2.1 Builtin objects 2.2 Interfaces 2.3 Core Classes 2.4 Differentiable objects 2.4.1 Constraints 2.4.2 Invariants 2.5 System APIs and I/O 3 Trouble Shooting 4 Development tools

[edit] Tutorials on Modeling and Solving Problems

Balanced Academic Curriculum Problem

Maximum Density Still Life

Totally Spatially Balanced Latin Square

Heterosquare

Open Stacks

[edit] Description of Meta Heuristics

Hybrid Evolutionary Search

Variable Neighborhood Search

[edit] Reference Material

[edit] Builtin objects

• string
• range
• set
• var
• Float
• Boolean
• Integer
• Counter
• Matrix
• array
• Condition
• expr
• Closure
• enum
• dict
• queue
• stack
• heap

[edit] Interfaces

Described on page interfaces:

• 1 Store
• 2 Constraint
• 3 FloatConstraint
• 4 Objective
• 5 FloatObjective
• 6 Neighborhood
• 7 ObjectiveOverBool
• 8 ScheduleObjective
• 9 ostream
• 10 Invariant
  • 10.1 How to write your own Invariant

[edit] Core Classes

The core classes are used to represent solvers, models, solutions, or any completely generic classes.

• 1 LocalSolver
• 2 Pool
• 3 Solution
• 4 Checkpoint
• 5 Tracer
• 6 Selectors
  • 6.1 NeighborSelector
  • 6.2 AllNeighborsSelector
  • 6.3 MinNeighborSelector
  • 6.4 MinRandomNeighborSelector
  • 6.5 KMinNeighborSelector
  • 6.6 MaxNeighborSelector
  • 6.7 KMaxNeighborSelector
  • 6.8 MinHeapNeighborSelector
  • 6.9 IntSelector
  • 6.10 AllIntSelector
  • 6.11 MinIntSelector
  • 6.12 KMinIntSelector
  • 6.13 MaxIntSelector
  • 6.14 KMaxIntSelector
• 7 Distributions
  • 7.1 UniformDistribution
  • 7.2 ZeroOneDistribution
  • 7.3 RandomPermutation
  • 7.4 ExponentialDistribution

[edit] Differentiable objects

[edit] Constraints

This page covers both integer based constraints and floating-point based constraints.

• 1 Systems
  • 1.1 ConstraintSystem
  • 1.2 LinearEquationSystem
  • 1.3 WeightedConstraintSystem
  • 1.4 SatisfactionSystem
  • 1.5 DisequationSystem
  • 1.6 WeightedDisequationSystem
• 2 AllDifferent
• 3 AllDifferentExpr
• 4 Atmost
• 5 AtmostBoolExpr
• 6 SumEqExpr
• 7 Atleast
• 8 Exactly
• 9 CardIntersection
• 10 Knapsack
• 11 MeetAtmost
• 12 Pairing
• 13 Matching
• 14 Opposite
• 15 NotOpposite
• 16 LinearConstraint
• 17 WeightedConstraint
• 18 IsTrue
• 19 NbDistinctCtr
• 20 TrueExpr
• 21 NonLinearConstraint
• 22 ValueWeightDisequations

[edit] Invariants

The page invariants documents the invariants

• 1 Indices
• 2 CardIndices
• 3 SortedIntSet
• 4 DistanceCount
• 5 Distances

[edit] System APIs and I/O

The page system covers all the classes dedicated to system support (IO, concurrency,distributions).

• 1 System APIs
  • 1.1 $System
  • 1.2 Thread
  • 1.3 Mutex
  • 1.4 RMutex
  • 1.5 BCondition
  • 1.6 Barrier
  • 1.7 ZeroWait
• 2 Input / Output
  • 2.1 $stdout
  • 2.2 ofstream
  • 2.3 istream
  • 2.4 ifstream
  • 2.5 $stdin
  • 2.6 iomanip
  • 2.7 Endl
  • 2.8 Flush
  • 2.9 Setw
  • 2.10 SetPrecision
  • 2.11 SetFill

[edit] Trouble Shooting

The page Invariants and cycles shows how to avoid cycles with invariants.

The page graphic library describes the built-in graphic library.

[edit] Development tools

The page emacs mode provides a comet-mode for emacs.