Automated Reasoning Group
| name | Automated Reasoning Group |
| Crates.io: | github:awslabs:automated-reasoning-group |
| GitHub user: | github:awslabs:automated-reasoning-group |
| name | repo |
|---|
Crates
| name | update at | owner | repo | count | CI | fmt |
|---|---|---|---|---|---|---|
| aws-smt-strings | 2024-10-28 14:02:48.22831 | (mww-aws) | repo | 32 | NA | fmt |
| aws-smt-ir | 2023-08-07 18:16:52.329458 | (mww-aws) | repo | 97 | GitHub Action | fmt |
| aws-smt-ir-derive | 2023-08-07 18:04:16.096652 | (mww-aws) | repo | 97 | GitHub Action | fmt |
| amzn-smt-strings | 2022-09-14 16:42:18.797085 | (mww-aws) | repo | 32 | NA | fmt |
| amzn-smt-ir | 2022-09-12 23:19:44.773815 | Bruno Dutertre | repo | 97 | GitHub Action | fmt |
| amzn-smt-ir-derive | 2022-09-12 23:16:34.164663 | Bruno Dutertre | repo | 97 | GitHub Action | fmt |