Skip to content
v1.0
default avatar
voirol.nicolas@gmail.com
7de53baf · Fixed scaladoc links and updated build.sbt to point to maven deps · 
Version 1.0 of Inox.

Subsumes solving capabilities of Leon 3.0.