imctk
| Crates.io | imctk |
| lib.rs | imctk |
| version | |
| source | src |
| created_at | 2024-09-16 07:40:18.548996 |
| updated_at | 2024-09-16 07:40:18.548996 |
| description | Placeholder for the Incremental Model Checking Toolkit currently under development |
| homepage | |
| repository | https://github.com/YosysHQ/imctk/ |
| max_upload_size | |
| id | 1376099 |
| Cargo.toml error: | TOML parse error at line 23, column 10 | 23 | readme = false | ^^^^^ invalid type: boolean `false`, expected a string |
| size | 0 |
Jannis Harder (jix)