...count (bdd issues pending), term flags slightly improved. Couple small 'breaking changes', in input 'prog' / dict is saved in one place and passed around (not ideal, but we need to improve on this, a start I guess). Also in tables, there's term_set instead of set<term... to allow for terms ordering in get_alt (that's needed for count to work on the 'previous' body, what I came up w/).
...count (bdd issues pending), term flags slightly improved. Couple small 'breaking changes', in input 'prog' / dict is saved in one place and passed around (not ideal, but we need to improve on this, a start I guess). Also in tables, there's term_set instead of set<term... to allow for terms ordering in get_alt (that's needed for count to work on the 'previous' body, what I came up w/).