issues
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 `Py_FormatStdout` & `Py_FormatStderr` when compiling to dynamic library
#758
Closed
wenkokke
closed
10 months ago