as indicated by a json configuration file.

- Reuse verification infrastructure.
- Modify dataset types for easier json deriving.

Filter normalization by lsymbol name.

See merge request laiser/caisar!52

Dataset via VNNLIB

See merge request laiser/caisar!48

- Add support for neural network as array in language.ml
- Translate csv record as vnnlib constraints in dataset.ml
- Add simple dataset normalization functionalities in dataset.ml
- Add vnnlib printer (as smtlib printer with direct real support)
- Add vnnlib driver for PyRAT
- Rework onnx and nnet parsers to not fail on non-mandatory information

Add more ONNX operators to NIER

Closes #21 and #22

See merge request laiser/caisar!50

Make some NNet and ONNX information optional

See merge request laiser/caisar!49

Add support for units in memlimit and timelimit options

Closes #14

See merge request laiser/caisar!47

User limits

Closes #14

See merge request laiser/caisar!46

Some cleanup

See merge request laiser/caisar!45

The driver seems to do the job already.

Some reworking on tests

See merge request laiser/caisar!44

Transform for net_apply to be used with SMTLIB-compliant solvers

See merge request laiser/caisar!21