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

Use new runner with macOS Sonoma #780

Open wenkokke opened 9 months ago

wenkokke commented 9 months ago

Blocked on the following change in Python 3.12: IMG_3335