Rename Conjuncts -> Disjunctions. NFC.
treebc460cfa07e8894e9f5468f93e315687d8009295
-rw-r--r-- 193 .arcconfig
-rw-r--r-- 653 .arclint
-rw-r--r-- 92 .gitattributes
-rw-r--r-- 22 .gitignore
-rw-r--r-- 7250 CMakeLists.txt
-rw-r--r-- 1324 CREDITS.txt
-rw-r--r-- 2753 LICENSE.txt
-rw-r--r-- 709 README
drwxr-xr-x - cmake
drwxr-xr-x - docs
drwxr-xr-x - include
drwxr-xr-x - lib
drwxr-xr-x - test
drwxr-xr-x - tools
drwxr-xr-x - utils
drwxr-xr-x - www