Closed albertZhangTJ closed 9 months ago
Add quantifier quantity control in the form of variables.
Reason for not going with checking the length of used identifier list is due to the often-present 1-difference in length of list and number needs to be generated by the quantifier node
Feature completely added by db4cc225490d5ef69a57932a0bf348133ccc4c3e
Add quantifier quantity control in the form of variables.
Reason for not going with checking the length of used identifier list is due to the often-present 1-difference in length of list and number needs to be generated by the quantifier node