ersatz 0.6

2 Reverse deps Accepted versions
ersatz-toysat >=0.3 && <0.6
obdd >=0