mago-algebra
| Crates.io | mago-algebra |
| lib.rs | mago-algebra |
| version | 1.0.0-beta.24 |
| created_at | 2025-08-05 15:37:01.435929+00 |
| updated_at | 2025-09-24 02:02:34.068688+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 | 68,484 |
Saif Eddin Gmati (azjezz)