为machine-check提供的实用程序可执行逻辑crate

此crate包含形式化验证工具machine-check的机器验证逻辑。

使用和兼容性

此crate是machine-check的实用程序crate，不应单独使用。不提供兼容性保证。

许可证

根据您的选择，许可协议为Apache License，Version 2.0或MIT许可证。除非您明确表示，否则根据Apache-2.0许可证定义的，您有意提交以包含在此crate中的任何贡献，将双重许可如上所述，不附加任何额外条款或条件。