API Reference Fixpoint v0.3.2
Constraint store is a key-value store, where
key is a variable id,
value is a implementation-dependent structure that allows to
update and keep track of variables' domains.
Computation space. The concept is taken from Chapter 12, "Concepts, Techniques, and Models of Computer Programming" by Peter Van Roy and Seif Haridi.