Paper: Remove "NOT YET" on URL in preparation for release.

Rename "desirability" to "preference" (much less awkward), with the
notation a_{ij} to avoid a collision with paper nodes.

Standardize on "q" for the number of reviews per paper.

Inconsistency noticed by Dr. Khuller.

Paper: Remove unneeded dependency on "floatflt".

Fix remaining mentions of "proposal" in the paper.

Pointed out by Dr. Hicks.

Gitignore for paper subdirectory.

- Finish revising the paper.
- Update comment in ProposalMatcher.hs to refer to the figure in the
  paper.

Add a slightly cleaned-up version of the paper, superseding the "notes"
file.

Also: modernize the method of excluding .git from Eclipse.

Add a minimal readme for the program.

Implement TSV internally, remove the "csv" package dependency.

Add command-line interface ./match (adapted from POPL 2012 version).

Make PMatching a newtype for clarity.

Formatter: Rewrite code that used an n + k pattern

Samir's updates to the notes, emailed to me on 2008-09-12.

Rename numAsWt to more appropriate widenInteger.

Make the evaluator's review weights configurable.

Make the instance generator select proposal topics from a Zipf distribution, and
make the Zipf distribution exponent and the number of topics configurable.

Improve some comments in PMDefaults.

Eta-expand mrandomR to keep GHC 6.6.1 on birdy happy.

- Change RandomizedMonad to bind by threading a single RandomGen instead of
splitting the RandomGen.  Threading satisfies the monad laws, and the
parallelizability and evolvability of splitting can still be explicitly
requested via `msplit'.  I think this is a much more logical design!

- Take the opportunity to flesh out independent-list offerings and add comments.

PMConfig isn't just for ProposalMatcher anymore; it's about to gain settings for
PMInstanceGenerator and Evaluation.  Thus, factor it out.

Add reminder to compile CS2 with -DPRINT_ANS.

Stop GHC 6.6.1 from fussing about lack of a trailing newline.

Evidently ghci needs -cpp even if all the modules are already compiled.

Add compatibility gorp for GHC 6.6.1.

Ignore temporary graphs from goGraph.

debugdir gitignore is no longer needed.

- More evaluation.
- Introduce reviewer age into the instance generator.

First attempt at evaluating the quality of matchings.

Rename Instance -> PMInstance and introduce PMatching type.

Make proposal-matcher configuration non-global to make it more practical to
compare multiple configurations for the experimentation.

Add conflicts of interest to the InstanceGenerator and make some other cleanups.

- Implement CS2 min-cost-flow adaptor and generalize common min-cost-flow stuff
  accordingly.
- Create conflict-of-interest edges (with zero capacity) so doMatching doesn't
  crash when it queries their flow values.
- Factor out TestUtils.
- Add a function "goGraph" to gnome-open a visualization of a graph from within
  GHCi!  Remove old "show-graph".

Remove randomMap and randomRep definitions (obsoleted by RandomizedMonad).

- Add code to visualize an instance and matching as a graph (bipartite, rather
  than the more complex reduction graph).
- Remove obsolete definitions from doMatching.
- Add a script to run optimized, and improve the debug script to avoid the need
  for debugdir.

Remove an unneeded forall.

Rewrite Bellman-Ford and min-cost flow, especially to stop the latter from crashing.

- Rewrite Bellman-Ford and min-cost flow solvers using the state-transformer
  feature, adding infrastructure as necessary.
- Make Bellman-Ford detect the presence of a negative cycle.
- Min-cost flow now uses edges of arbitrary capacity, not just 1, although it's
  the same naive algorithm that augments along the lowest-cost path no matter
  how little flow that adds.  Adjust the reduction accordingly; now it uses
  fewer edges.  Additional benefit: the change brings my min-cost flower's
  interface closer to that of an eventual CS2 adaptor.
- Min-cost flow was crashing on larger instances because round-off error
  prevented it from identifying the edge to be flipped by subtracting the costs
  to its endpoints.  To avoid this problem, redesign min-cost flow so edges are
  identified by unique indices.  Now doMatching "pulls" flow values for the
  edgesD it generated instead of being "pushed" by edges in the residual graph.
- Make the Show implementation for Instances prettier.

debug needs -fglasgow-exts too.

The random instance generator and other improvements.

- Split Instance into its own file, change it to use arrays, and implement Show.
- Add random InstanceGenerator using RandomizedMonad.
- Make Test export more stuff for use from GHCi.

Second version of the reduction.

Significant changes:
- Supports a per-reviewer relative load limit, which is hard with a tolerance.
- Split each reviewer into multiple nodes in order to charge a cost quadratic in
  the number of disliked proposals she has to review.  Previously, cost was
  simply additive.
- Require three reviews per proposal regardless of experts, but provide an
  incentive for a knowledgeable review and an additional expert review.

Also, add import and "show-graph" script for graph visualization.

Fix bug in second-pass graph construction when a proposal got more than one expert review.

- Add the notes Samir emailed me on 2008-07-06.
- Move the program into a subdirectory to cut down on rebuilding.
- Hide the .git contents from Eclipse.

- ./debug and ./run now pass along arguments.
- Add ./make-package .

The proposal matcher.  It works on a small example.