ostrich
Class to propagate equalities between string variables; this is necessary in general to combine the string theory with others theories.
Class to propagate equalities between string variables; this is necessary in general to combine the string theory with others theories.