Packages
semantic_verifier
0.1.3
180+
Pure Elixir SMT-LIB2 formal verification engine for FrameNet Semantic IR with persistent Z3 session pools.
Last Updated:
3 weeks ago
framex
0.1.2
125+
Lazy, read-only queries over a FrameNet JSON artifact
Last Updated:
2 weeks ago
framex_tools
0.1.1
92+
Profile-based tooling for creating focused Framex corpus artifacts
Last Updated:
2 weeks ago