added solver as command line argument