conflcheckgraph

A visual confluence checker for Constraint Handling Rules (CHR) solver.

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
1-conflchecker		1-conflchecker
2-draw-complete-history-text/conflchecker		2-draw-complete-history-text/conflchecker
3-draw-CAS-only-tree/conflchecker		3-draw-CAS-only-tree/conflchecker
4-draw-complete-history-graph/conflchecker		4-draw-complete-history-graph/conflchecker
5-draw-complete-history+CAS-graph/conflchecker		5-draw-complete-history+CAS-graph/conflchecker
6-parser + dagviz		6-parser + dagviz
7-hierarchy levels		7-hierarchy levels
8 - ZParser		8 - ZParser
9 - ZVizzzz		9 - ZVizzzz
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md

Provide feedback