Constraint printing
ehildenb opened this issue · comments
Currently we have no visible record of what the collected constraints are when printing out the configuration.
We should find some way to print the constraint with each generated configuration.
I think having a module CONSTRAINTS in the prelude, that if you include makes a cell <constraint> available to you would be good. This would make us able to store each particular states constraint with that state for the SBC analysis.
@dwightguth, is it possible?
addressed by #15