Trax solver based on machine-learned evaluation function