Skip to content

[WIP] Add a ground simplifier

Viktor Kuncak requested to merge github/fork/romac/simplify-ground into master

Created by: romac

This simplifier traverse the given expression, and evaluate all its pure sub-expressions, given that they don't refer to a quantifier, or a choose construct.

Merge request reports