add BetterMultiPriorityPicker and formal proof
authorJacob Lifshay <programmerjake@gmail.com>
Thu, 4 Aug 2022 05:41:28 +0000 (22:41 -0700)
committerJacob Lifshay <programmerjake@gmail.com>
Thu, 4 Aug 2022 05:41:28 +0000 (22:41 -0700)
commite375a4fa59d1e38ecedde4c9fe6155d6023e6742
treee29cc2b1cf67b46bc0f30bf5b206229e73f62ff8
parent6773e9193ea719c994c6fb82c04810410a787c7e
add BetterMultiPriorityPicker and formal proof
src/nmutil/formal/test_picker.py
src/nmutil/picker.py