GHC.JustDoIt.Solver
solve :: Type -> Maybe CoreExpr Source #
Central place to plug additional solvers in. For now, we just do GHC.LJT