Symbolic formula representation and solver interaction library - View it on GitHub