write_aiger: Add no-sort option#5150

nakengelhardt merged 2 commits intomainYosysHQ/yosys:mainfrom

krys/aiger_orderingYosysHQ/yosys:krys/aiger_orderingCopy head branch name to clipboard