cop 0.2.0

Highly efficient first-order connection proving
Documentation 
{
  "git": {
    "sha1": "718363119ed41920d864e2e477ff2a37ac403b01"
  },
  "path_in_vcs": "cop"
}