ersatz 0.4.4

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