Open apoelstra opened 5 years ago
This was partially addressed in as policy entailment in #118. Although the algorithm implemented in naive and tries all possible combinations of available witnesses, it remains an open question of whether we can do something more efficient.
This was partially addressed in as policy entailment in #118. Although the algorithm implemented in naive and tries all possible combinations of available witnesses, it remains an open question of whether we can do something more efficient.