Permalink
Browse files

Add a README note

  • Loading branch information...
travitch committed Jul 29, 2012
1 parent b4d3797 commit d3e5f2f39ad9733d54c25c3da2c162c4748615ed
Showing with 2 additions and 0 deletions.
  1. +2 −0 README.md
View
@@ -14,3 +14,5 @@ test suite for some details.
* Magic sets transformation
* Optional BDD backend for a subset of queries
+ * Rewrite literals like f(X,X) into f(X,Y), X=Y. A few internals
+ assume that the same variable doesn't appear twice in a literal.

0 comments on commit d3e5f2f

Please sign in to comment.