Pre-printHierarchy change
Fixed printHierarchy, but will likely not work on deep abstracts yet
Added options necessary for ClaferIDE
Fixed imports in Options
Fixed import in visitortemplate
changed # to $
changed #clafer# to clafer
Changed delimeter format
Added repl
Added option to print version
change to z3run for version support
removed random seed warning messages
Changed repl delimeter behaviour
Added unused clafer quick-fix, and xor fix
Added unused clafer quick-fix, and xor fix
CNF abstraction
added graph module
Fixed delimeter counter
Fixed commit
Added indentation option