Documentation

setupReasoning :: HetcatsOpts -> ReasoningCacheGoal -> IO (Maybe ReasonerConfigurationId) Source #

preprocessReasoning :: HetcatsOpts -> String -> ReasoningCacheGoal -> IO (Maybe [String], ReasoningCacheGoal) Source #

postprocessReasoning :: HetcatsOpts -> ReasoningCacheGoal -> Maybe [String] -> ProofResult -> IO () Source #