search

UA-FOTS / pad-tools

Library to manipulate Presburger arithmetic formulas with divisibility
GNU General Public License v3.0
0 stars 0 forks source link

Epad incr elim #3

Closed gaperez64 closed 3 years ago

gaperez64 commented 3 years ago

This should fix the bugs in the DNF code and add all elements from Lechner's (negation) normal form (see issue #1 )