... scripts.

You find the necessary imports for scripts in the Alice sources.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... satisfied

Sometimes you recognize a FD with the finite domain variables. This is important because the post method gets besides the others one argument of type term. FD transfers variables of type intvar into type term

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.