ersatz-0.4: A monad for expressing SAT or QSAT problems using observable sharing.

Index - |

||Ersatz.Bit, Ersatz