Closed aaronjeline closed 5 months ago
Issue #, if available: N/A Description of changes: Drop mentions of the constraint that multiplication must include a literal
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.
Issue #, if available: N/A Description of changes: Drop mentions of the constraint that multiplication must include a literal
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.