Transform the most basic FM languages (optional, mandatory, or groups, xor groups, prop. logic. constraints) to category theory formalization.
The transformation results in a .cql file with the specification of the categories ready to be used as input of the category solver.
The transformation should be implemented following this interface.
Transform the most basic FM languages (optional, mandatory, or groups, xor groups, prop. logic. constraints) to category theory formalization.
The transformation results in a .cql file with the specification of the categories ready to be used as input of the category solver.
The transformation should be implemented following this interface.