[console_scripts]
arctl = pynusmv_tools.arctl.cmd.trace:main
atl = pynusmv_tools.atl.check:main
atlk_fo = pynusmv_tools.atlkFO.check:main
atlk_po = pynusmv_tools.atlkPO.check:main
bmc_ltl = pynusmv_tools.bmcLTL.bmc_ltl:main
bmc_ltl_li = pynusmv_tools.bmcLTL.bmc_ltl_li:main
bmc_ltl_py = pynusmv_tools.bmcLTL.bmc_ltl_py:main
ctl = pynusmv_tools.ctl.CTLcheck:main
ctlk = pynusmv_tools.ctlk.cmd.cmd:main
diagnos = pynusmv_tools.diagnosability:main
fairctl = pynusmv_tools.fairctl.FairCTLcheck:main
smv2dot = pynusmv_tools.dotDump:main
smv_cmp = pynusmv_tools.compare:main
tlace = pynusmv_tools.tlace.tlace:main

