cl-set-solver-var

Name

cl-set-solver-var -- Set solver S's variable CLV to value VALUE.

Synopsis

(cl-set-solver-var s clv value)

Description

Set solver S's variable CLV to value VALUE.

Implementation Notes

Module:

Defined in scheme/simple-constraints.scm at line 149 (CVS log)