Memory Efficient All-Solutions SAT Solver and Its Application for Reachability Analysis