#incremental #checking #model #toolkit #public-api #offers

imctk

Placeholder for the Incremental Model Checking Toolkit currently under development

1 unstable release

0.1.0 Sep 16, 2024

#55 in #offers

MIT/Apache

2KB

Incremental Model Checking Toolkit

Currently IMCTK does not offer a public API. This crate is a placeholder and will be updated to contain the main entry point of IMCTK's public API.

No runtime deps