minor modifications to command line tool so that it is easier to extend it to use with different solvers
minor modifications to command line tool so that it is easier to extend it to use with different solvers

tulip-control/tulip-control,necozay/tulip-control,necozay/tulip-control,necozay/tulip-control,necozay/tulip-control,tulip-control/tulip-control,tulip-control/tulip-control,tulip-control/tulip-control,necozay/tulip-control