GitHub repository: AnzhelaSukhanova/QE_expPA
Primary language: C
Created: 2021-02-04T07:55:17Z
Description: The implementation of elimination of quantifiers for Presburger arithmetic expanded by function 2^x (in progress).