Disequality crashes #173
Description
It looks like there is a bug constraints handling, starting from 2019
See the branch https://github.com/PLTools/OCanren/tree/disequality-issue1
{{ message }}
It looks like there is a bug constraints handling, starting from 2019
See the branch https://github.com/PLTools/OCanren/tree/disequality-issue1