Module LazyModelChecker

module LazyModelChecker: sig  end

This module implements the lazy model checking algorithm.

module Make_Lazy_Model_Checker: functor (Abstraction : BlastArch.ABSTRACTION) -> sig  end