This repository contains everything related to the symbolic representation of expressions and the symbolic simplifier itself.
Components are likely incomplete as initial release is not done yet, and documentation and FAQ will be on this README file and the organization website once they're done.
Until the initial release you can keep up to date with the VTIL project by checking my personal twitter account or the VTIL website vtil.org.