ELINA

MaRDI QIDQ33544swMATHFDO

Official website http://elina.ethz.ch

Described by source

• Fast polyhedra abstract domain

This page was built for software: ELINA