solver compiles