Documentation

SAT encoding monad

Build Status