using cmake
Cmake compilation
Types support
namespace clean up
+style changes, +pragma
+equality_eval +declare_formulas
updated vocabulary
+some logical operations +formulas
+ implies change
+restructured classes and types
+integer bugfix
+atom_class equality operations
+changed variable data structure +formulas
+support for binary logical connectives
+support for quantifiers
+user_defined formulas
+formula evaluation with temporary variables
syntax bugfix "\and vs and"
chore(shell/CMakeLists.txt): use BISON_EXECUTABLE instead of concrete pathname