CADiZ

Reference manual / Z-related commands / Decision procedure commands


These commands are in situ replacements of formulae by atomic results, e.g. predicates by true or false. They include facilities for reasoning about numeric formulae.


IT 24-Feb-2000