Update README.md
Update README.md
Update README.md
Update README.md
Merge branch 'er'
Update Guava to version 15
- Fix regression test failure on postgres.
- Fix regression failure on DC detection.
- Exclude ER test because of the input data is not available on testing machine.
- Fix bug #9.
- Minor bug fixes on wrong nadeef.conf and dashboard rendering.
Integrate SAT solver
- Bug fix on DC generated rule file.
Merge remote-tracking branch 'origin/master'
- Adds HolisticCleaning algorithm (with Gurobi support).
Update README.md
- Minor fix on null values in the report.
Merge remote-tracking branch 'origin/master'
add linquistic and getPredicateList function
- Adds combinatorial variable probing to reach cardinality minimality (HC algorithm).