Coverage decreased (-0.07%) to 86.18% when pulling 4550d127efefa580520546793f9cfee1082d7579 on symbolics-refactor into 81f6d36c38c36689b0d1ee13d17ea0510abe4fee on master.
Coverage increased (+0.12%) to 86.38% when pulling e8d8638f9afa1660e53525d67587e711283772f8 on symbolics-refactor into 81f6d36c38c36689b0d1ee13d17ea0510abe4fee on master.
Coverage increased (+0.12%) to 86.38% when pulling 42a00ac404717be62d65e49a4f48416b6bc1b1e2 on symbolics-refactor into 81f6d36c38c36689b0d1ee13d17ea0510abe4fee on master.
First step at decoupling implementation of symbolics from core solver logic.