/automatic-structure

Decide Presburger arithmetic and other automatic structures

This repository is not active