ersatz 0.4

2 Reverse deps Accepted versions
ersatz-toysat >=0.3 && <0.4
obdd -any