usage.rst 953 B
Usage
Property verification
CAISAR can be used to verify properties on neural networks.
The prototype command is caisar verify --solver=SOLVER property.mlw
File property.mlw defines the goal you want to verify,
written in the Whyml language.
Example of .mlw files can be seen in tests folder.
External verifiers detection
CAISAR relies on external verifiers to work. You must install
them first, then point CAISAR to their location.
To do so,
use DIR=/path/to/solver/exec caisar config -d.
List of supported verifiers:
List of actively developed supports: