GitHub repository: FKlie/Predicata
Primary language: GAP
Created: 2018-12-12T17:41:47Z
Description: GAP package Predicata: Deciding Presburger arithmetic using automata theory