43bb036008
Added command in readme
667eea0c70
Remove conjunction and disjunction when not well-defined
df5b0f5161
Pretty printing
6bb863da97
Code cleanup
6b4d5828c8
Code cleanup and documentation