Skip to content

Add query_number_of_constraints option#1327

Merged
blegat merged 1 commit intomasterfrom
bl/test_num
May 10, 2021
Merged

Add query_number_of_constraints option#1327
blegat merged 1 commit intomasterfrom
bl/test_num

Conversation

@blegat
Copy link
Copy Markdown
Member

@blegat blegat commented May 9, 2021

Needed for #1287

@blegat blegat mentioned this pull request May 9, 2021
@blegat blegat merged commit 63ebcab into master May 10, 2021
@blegat blegat deleted the bl/test_num branch May 10, 2021 00:34
@blegat blegat added this to the v0.10 milestone May 22, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants