egg 📦⭐ - flexible, high-performance e-graph library. epilog 📦💤 - collection of Prolog-like tools for inference logic. FALL 📦💤 - easily embeddable, futures-friendly logic engine. foliage 📦💤 - first-order logic with integer arithmetics. fuzzylogic 📦 - provides operations ...
egg 📦⭐ - flexible, high-performance e-graph library. epilog 📦💤 - collection of Prolog-like tools for inference logic. FALL 📦💤 - easily embeddable, futures-friendly logic engine. foliage 📦💤 - first-order logic with integer arithmetics. fuzzylogic 📦 - provides operations ...