Tools for quantifier elimination in linear integer arithmetic

StackOverflow https://stackoverflow.com/questions/10961259

  •  13-06-2021
  •  | 
  •  

Frage

Are there any other available (and still supported) SMT tools that perform quantifier elimination for linear integer arithmetic besides Z3?

Thanks.

War es hilfreich?

Lösung

You can try Princess, by Philipp Rümmer. It supports quantifier-elimination and is actively maintained.

Lizenziert unter: CC-BY-SA mit Zuschreibung
Nicht verbunden mit StackOverflow
scroll top