LogicT-Sequence

Provides a variant of the LogicT monad that should have asymptotically better performance when frequently observing results. This is based on the the Reflection without Remorse paper. I created this package mainly because the code from the paper was not easy to use as a library.

Please see the LogicT paper for examples on how to use this monad.