varisat
varisat copied to clipboard
Python bindings
I'd love to have python bindings for varisat to do quick experiments from jupyter notebooks.