Constraint Logic can solve word logic puzzles.
Code generation model trained on 80+ languages with FIM support
3A-TRE evaluates traditionally logical expressions under 3 assumptions
CAS Algorithms embeded as libraries.
Automated Linguistic Analysis, with both monolith and cluster versions