Andrew Luka

icon location A master's degree student at the computer science faculty in the Technion - Israel Institute of Technology

Results 1 comments of Andrew Luka

Use as a Crate? | Adding a Rust API?

I actually would love this feature as well, I'm writing a library for the development and prototyping of formal verification algorithms in rust and I'd love to have this SAT...