Refactored stuff, made the resolution search binary