electrod

Formal analysis for the Electrod formal pivot language
IN THIS PACKAGE
val transfo : ( Raw.raw_problem, Ast.t ) Transfo.t

Determines the whole domain of the problem.