Or, maybe each congressperson casts a tri-state vote on each line item (bill must contain this, bill must not contain this, or no opinion). Congress then runs a SAT solver to determine if there is any combination of line items that pass the criteria given by a majority of congresspeople. If none exist, the bill fails. If multiple candidate bills succeed, each congressperson is allowed to nominate one candidate bill for consideration, and the legislative body then votes on the best candidate via approval voting.