rAKA/features%2Fterms-to-add-in-python

features/solver-rewrite