Implement LocalSolver connection
Create a dummy objective
Handle logical constraints