Solver wrapper are not well designed

[baugetfa]

The solver wrappers were coded to be able to run in bash several CnF analysis. But the design, and so the code, is not good, I would even say they are crap and I did code them.