Choco 3 Reasoner implementation initial commit.