First-order logic saturation with atom rewriting
8.18.0.7

First-order logic saturation with atom rewriting🔗ℹ

See the readme.