
Assignment 1 -part 1- Implementation Details 1. Define a class called SatSolver yourLastName>. 2. Define a class called Timer yourLastName> with three methods: start0, stop0 and getDuration). Measure time in milliseconds. 3. SatSolver yourLastName includes a “main” method, which should only do the following: a expects an input file name to be provided thro the command line argument. if the file name is not provided then the program exits with an error message. Note: You need to