These are chat archives for symengine/symengine
assumption.hor should be separated into its related classes and implemented in separated files all stored in some assumptions directory in the source.
assumptions.h. We can re-think the directory structure when it becomes larger
BooleanFunction, AppliedPredicate, bool, BooleanAtometc... are part SymPy's logic module. I don't think SymEngine has a logic module. I porting this module to SymEngine necessary? Can SymEngine's assumptions bypass this module?