InCLosure Code for Guaranteed Enclosures Under Interval Dependency: Supplementary Material for Article "A Logical Formalization of the Notion of Interval Dependency: Towards Reliable Intervalizations of Quantifiable Uncertainties"

InCLosure Input and Output Files for Guaranteed Enclosures Under Interval Dependency: Supplementary Material for Article "A Logical Formalization of the Notion of Interval Dependency: Towards Reliable Intervalizations of Quantifiable Uncertainties", Online Mathematics Journal, July 2019. Download latest release of InCLosure via https://doi.org/10.5281/zenodo.2702404面向区间依赖下保证包络的InCLosure输入输出文件：系发表于《在线数学期刊》2019年7月的论文《区间依赖概念的逻辑形式化：迈向可量化不确定性的可靠区间化》的补充材料。可通过https://doi.org/10.5281/zenodo.2702404下载InCLosure的最新正式版本。