Added new "assumed" constraint (yes, I know it's a bad name) for dealing with the instance model constraints that we haven't yet classified. They are assumed to be true (should eventually come from assumptions), but aren't necessarily Invariants. This is per our discussion on Dec. 12th.
Added new "assumed" constraint (yes, I know it's a bad name) for dealing with the instance model constraints that we haven't yet classified. They are assumed to be true (should eventually come from assumptions), but aren't necessarily Invariants. This is per our discussion on Dec. 12th.

JacquesCarette/literate-scientific-software,JacquesCarette/literate-scientific-software,JacquesCarette/literate-scientific-software,JacquesCarette/literate-scientific-software,JacquesCarette/literate-scientific-software,JacquesCarette/literate-scientific-software,JacquesCarette/literate-scientific-software