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

SMT parsing considers only (assert (<= X alpha)) and not (assert (>= X alpha)) #6

Closed sdemarch closed 1 year ago

sdemarch commented 1 year ago

Too strict assumption on input reading