[console_scripts]
yowasp-sby = yowasp_yosys:_run_sby_argv
yowasp-yosys = yowasp_yosys:_run_yosys_argv
yowasp-yosys-smtbmc = yowasp_yosys:_run_yosys_smtbmc_argv
yowasp-yosys-witness = yowasp_yosys:_run_yosys_witness_argv
