语法推理库？

我还没有使用过它们，但是我有一个相同的问题，并且（经过大量搜索）至少找到了这两个库：

• libalf for C ++
• gitoolbox for MATLAB

与问题的其他答案不同，它们是实际的 语法推断库， 而不是 解析器生成器 。