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

geisserf / lemon-dd

Library for Edge-valued MONoid-based decision diagrams.

Boost Software License 1.0

2 stars 0 forks source link

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

Open geisserf opened 5 years ago

geisserf commented 5 years ago

Issue imported from old repository.