command line tool for solver :-(