Have a player that beats all others

Develop tools that would help in the development of SDG algorithmic players.
  Develop a requirement document for such a tool.
  Requirements analysis.
  Design.
  No implementation.

  Possible tools:
  Develop a meta game tool where the current SDG is a special case.

  Use machine learning to improve the player.

  Develop a tool that computes the optimal price for any pair of relations.

  Develop a tool that computes the optimal price for any triple of relations.


Implement Binomial Heaps in DemeterF
(chapter 20 in CLR)

Implement elementary graph algorithms in DemeterF
(chapter 23 in CLR)

Implement DPLL for MAX CSP in DemeterF

Implementing an approximation algorithm for MAXCSP in DemeterF