search

vehicle-lang / vehicle

A toolkit for enforcing logical specifications on neural networks
https://vehicle-lang.readthedocs.io/
Other
81 stars 7 forks source link

Removed no longer needed module #797

Closed MatthewDaggitt closed 8 months ago

MatthewDaggitt commented 8 months ago

Forgot to delete it in the clean out of the tensor conversion pass.