SEEKING FREELANCER | REMOTE Looking for a freelancer who has experience building client-facing services with SMT solvers. Particularly in the area of program v

SEEKING FREELANCER | REMOTE 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