Add "Core" of order 1 to ExactComputer

[mmschlk]

The Core is an established concept from cooperative game theory. The core is similar to the Shapley Value and other attribution measures. Computation is similarly exponential. The core might not even exist for a game. For this the Least-Core relaxation exists. It would be cool to also provide this concept in the exact computer.