gargamelle-core-0.1.0.0: src/CEGIS.hs

module CEGIS where

-- Placeholder for Modular CEGIS conceptual framework.
-- To be implemented with proper assume-guarantee contracts.