machine-check-compile 0.6.0

Utility crate for formal verification tool for digital systems

Utility compilation crate for machine-check

This crate contains routines for compilation of systems as part of the verification tool machine-check.

This crate is a utility crate for machine-check and should not be used on its own. No compatibility guarantees are made.

This crate is licensed under Apache 2.0 License or MIT License at your discretion.