geisserf/lemon-dd

quasi-reduction fails when ordering and domains are not defined over the same variables

Opened this issue · 0 comments

geisserf commented

Issue imported from old repository.