# refactored to JuliaReach/CarlemanLinearization.jl
# include("error_bounds.jl")

# extends functionality in JuliaReach/CarlemanLinearization.jl to work with LazySets.jl types
include("kronecker.jl")
