search

dlshriver / dnnf

Deep Neural Network Falsification
https://dnnf.readthedocs.io/
MIT License
7 stars 4 forks source link

concretization, new operator, etc #8

Closed MissMeriel closed 2 years ago

dlshriver commented 2 years ago

Thank you for your proposed change! Could you please add a description of what this adds and/or fixes?