ersatz 0.3.1

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