Symbolic formula representation and solver interaction library
Why do you think that https://github.com/mokus0/roots is a good alternative to what4
Symbolic formula representation and solver interaction library
Why do you think that https://github.com/mokus0/roots is a good alternative to what4