Skip to content

L_2: Introduce metadata part in .vnnlib file to persist image, image_class and epsilon for SDP-CROWN#164

Merged
henba1 merged 13 commits intomainfrom
henba1-sdp-crown-changes
Jan 13, 2026
Merged

L_2: Introduce metadata part in .vnnlib file to persist image, image_class and epsilon for SDP-CROWN#164
henba1 merged 13 commits intomainfrom
henba1-sdp-crown-changes

Commits

Commits on Nov 23, 2025

Commits on Nov 25, 2025

Commits on Jan 13, 2026