Oliver Bøving

icon indicating an email [email protected]

icon location Denmark icon location PhD Student at DTU

Results 1 repositories owned by Oliver Bøving

smtlib-rs

17
Stars
6
Forks
Watchers

A high-level API for interacting with SMT solvers.

verified publisher icon oeb25