added:
option/3, numbervars/1, random/3, numlist/3, sum_list/2
Authored by: rzf 2019-03-03
Parent: [r9571]
Child: [r9573]
