Monadic Second Order Logic

AutStr: Symbolic Infinite Structures in Python

AutStr is a Python library for symbolic representation and manipulation of infinite relational structures. It provides automata-based computation, first-order logic queries, and …