rAKA/features%2Fdeveloper-manual-initial

features/solver-rewrite