Looking for a freelancer who has experience building client-facing services with SMT solvers. Particularly in the area of program verification. If you've done SMT in a browser even better.
Email: hn@inc-query.com
Looking for a freelancer who has experience building client-facing services with SMT solvers. Particularly in the area of program verification. If you've done SMT in a browser even better.
Email: hn@inc-query.com