logicaffeine-language
| Crates.io | logicaffeine-language |
| lib.rs | logicaffeine-language |
| version | 0.6.0 |
| created_at | 2026-01-17 14:54:56.831304+00 |
| updated_at | 2026-01-17 14:54:56.831304+00 |
| description | Natural language to first-order logic pipeline |
| homepage | https://logicaffeine.com |
| repository | https://github.com/Brahmastra-Labs/logicaffeine |
| max_upload_size | |
| id | 2050547 |
| size | 1,545,538 |
Tristen Harr (TristenHarr)
documentation
README
logicaffeine-language
Natural language to first-order logic pipeline.
Part of the Logicaffeine project.
License
Business Source License 1.1 (BUSL-1.1)
- Free for individuals and organizations with <25 employees
- Commercial license required for organizations with 25+ employees offering Logic Services
- Converts to MIT on December 24, 2029
See LICENSE for full terms.