v2.2.0

New Features:

• Significantly improved resolution algorithm
  This release implements a novel Conflict Driven Clause Learning (CDCL) resolution algorithm.
  The CDCL algorithm computes unsatisfiable cores and prunes the searchspace.

• candidates are now prefetched

• --cache-first option added to skip git ls-remote where possible