Added argparse to handle command line arguments properly.  Z3 and SMT encoding can now be specified from the commandline.
Added argparse to handle command line arguments properly.  Z3 and SMT encoding can now be specified from the commandline.

arcampbell/SATcolouring,arcampbell/SATcolouring