(cl-set-solver-var s clv value)
Set solver S's variable CLV to value VALUE.
Module:
Defined in scheme/simple-constraints.scm at line 149 (CVS log)