mago-algebra
| Crates.io | mago-algebra |
| lib.rs | mago-algebra |
| version | 1.0.0-beta.3 |
| created_at | 2025-08-05 15:37:01.435929+00 |
| updated_at | 2025-08-29 16:46:05.947015+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 | 67,317 |
Saif Eddin Gmati (azjezz)