added visitors for OutputSelect and Split operators

dlshriver / dnnf

Deep Neural Network Falsification

https://dnnf.readthedocs.io/

MIT License

7 stars 4 forks source link

Closed MissMeriel closed 2 years ago

MissMeriel commented 2 years ago

Visitors implement the pytorch versions of these operators.

dlshriver commented 2 years ago

Looks good to me!