Constraint reasoning algorithms mostly check for  consistency  in
incomplete  information in a knowledge-base, and if the latter is
consistent the algorithms generate a tighter but still incomplete
constraint  graph. However, in real life we often need a scenario
with  complete  information.  I  have  developed  one   of   such
algorithms available for generating scenarios.