decide_t now takes a multiset instead of a set.
This fixes the bug described in #15. This PR should probably wait for !5 (closed) to be merged first. Pardon the whitespace changes; my editor does it automatically.
This fixes the bug described in #15. This PR should probably wait for !5 (closed) to be merged first. Pardon the whitespace changes; my editor does it automatically.