Add module Timer
Add Sat_solver.interrupt