Commit History

Author SHA1 Message Date
  Markus Staab 0aa7ec2d2c Use a simpler hashing for the Rule2Literal case 7 years ago
  Gabriel Caruso 7d9f8e2247 Improvements 7 years ago
  rubenrua 4e1887a721 Improve memory usage resolving dependencies 8 years ago