Added satisfiability and started the logic engine