Once kompyle has pySDD and d4v2 support, then klay won't need them anymore to construct circuits.
It is then through kompyle, that one can populate circuits from model counters or other
knowledge compilators. This will introduce non-backwards compatible changes, but since
we're still on version 0, we don't need to provide stub methods that tell users that these
methods are deprecated. One can still however, construct circuits manually in klay.
Once kompyle has pySDD and d4v2 support, then klay won't need them anymore to construct circuits.
It is then through kompyle, that one can populate circuits from model counters or other
knowledge compilators. This will introduce non-backwards compatible changes, but since
we're still on version 0, we don't need to provide stub methods that tell users that these
methods are deprecated. One can still however, construct circuits manually in klay.