solver (100B)
1 # Solver 2 3 - [sat_solver] 4 - [cp_solver] 5 - [ilp_solver] 6 - [smt_solver] 7 - [mip_solver] 8 9 Up: [software]