mago-algebra
| Crates.io | mago-algebra |
| lib.rs | mago-algebra |
| version | 1.2.2 |
| created_at | 2025-08-05 15:37:01.435929+00 |
| updated_at | 2026-01-25 13:24:46.658434+00 |
| description | The logical reasoning engine for Mago's static analyzer, responsible for manipulating sets of logical clauses. |
| homepage | https://mago.carthage.software |
| repository | https://github.com/carthage-software/mago |
| max_upload_size | |
| id | 1782154 |
| size | 79,684 |
Seifeddine Gmati (azjezz)