Module chinstrap::model

source ·

Structs

The initial bounds of an integer domain.
A model of a constraint satisfaction problem.
A variable in a constraint satisfaction problem.

Type Definitions

A default model.