Database Freedom Platform - Mathematical search optimization for whatever database you already have. 27,000x faster than vector databases with SMT-powered search across 8+ database types. One-time 9-2999 vs 00-500/month recurring.
CoreIR Symbolic Analyzer
Refactor of dLinear4 https://github.com/martinjos/dlinear4
