solver executable