VICTOR(1) - manual page | User commands

Attempts to discharge verification conditions using SMT solvers.

Loading manual page ...

This manual	Reference	Other manuals
victor(1)	referred by	pogs(1) \| spadesimp(1) \| spark(1) \| sparkformat(1) \| sparkmake(1) \| sparksimp(1) \| zombiescope(1)
victor(1)	refer to	cvc3(1) \| pogs(1) \| spadesimp(1) \| spark(1) \| sparkformat(1) \| sparkmake(1) \| sparksimp(1) \| zombiescope(1)