There is a newer version of the record available.

Published June 4, 2021 | Version v0.4.8
Software Open

dlshriver/DNNV: v0.4.8

Authors/Creators

  • 1. @less-lab-uva

Description

  • Adds ite support to the vnnlib parser
  • Adds NotEqual support to the Canonical property transformer
  • Fix a bug that causes errors when reducing properties with input constraints over slices

note: bumped 2 versions due to incorrect pypi package upload

Files

dlshriver/DNNV-v0.4.8.zip

Files (10.1 MB)

Name Size Download all
md5:d1f5d67b0c83fee4a77894f2e6995685
10.1 MB Preview Download

Additional details

Related works

Is supplement to
https://github.com/dlshriver/DNNV/tree/v0.4.8 (URL)