- Adds combinatorial variable probing to reach cardinality minimality (HC algorithm).
Merge remote-tracking branch 'origin/master'
- Code refactoring, renaming constant assign.
- Bug fix on different database query type returns.
- Set embedded derby port to be flexible (default: 45000). As the previous default port 1527 is not working in some systems due to security issue.
- Fix the bug of unknown "localhost" for some systems where the alias is messed up.
Take workspace.xml out of git
tailored for denial constraint demo
Clean workspace.
Clean workspace
- Adds Delete rule button in the dashboard.
- Integration with Ruleminer. Adapt naming convention of TB_ table name.
- Adds table filtering with TB_ prefix.
- Showing the code instead of rule  name in the Dashboard.
- Bug fix on select input.
- Implicitly use dcdemo as the project name.
data structure for ruleminer
- Creates DCDemo database at startup.
- Restore default nadeef config.
- Update Intellij project files.
Delete .idea/workspace.xml
- Fix merging issues.
Merge remote-tracking branch 'origin/ruleminer' into ruleminer

Conflicts:
	.gitignore
	.idea/workspace.xml
	nadeef.conf
	web/src/qa/qcri/nadeef/web/Dashboard.java