Implementing Caged Logicat Solver