search

NeVerTools / pyNeVer

A Python library for learning and verification of neural networks and other machine learning models
Other
9 stars 3 forks source link

Numerical error with SMT? #18

Closed sdemarch closed 10 months ago

sdemarch commented 10 months ago

An issue may occur with the representation in a VNNLIB file with the 0 value, and it should be investigated what PySMT does if a line like (<= (* -1.0 VAR) 0.0) is parsed