kirillsmirnov / qe_exppa Goto Github PK
View Code? Open in Web Editor NEWThis project forked from anzhelasukhanova/qe-exppa
The implementation of elimination of quantifiers for Presburger arithmetic expanded by function 2^x (in progress).
License: MIT License