miniBDD: added a non-recursive variant of APPLY#1144

Merged

kroening merged 2 commits intomasterfrom

miniBDD-non-recursive-apply

Aug 3, 2017

Commits on Jul 20, 2017

added a non-recursive variant of APPLY
Daniel Kroening
committed
disable linter for assertions
Daniel Kroening
committed