ersatz 0.4.13

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