sat-solver top ... smt top 1000 symbolic-execut...

Global rank

# 303,238

Topics of expertise

sat-sol...
smt
symboli...
OCaml

Github followers

20

Github username

smcc

Location

Minneapolis, MN, USA

About

Stephen McCamant's main area of expertise is sat-solver , and is also an expert on smt and symbolic-execution . Stephen McCamant is recognized as Sat-solver Top-100Smt Top-1000, and Symbolic-execution Top-1000 . A Github user since 2012 , Stephen McCamant is ranked as #303,238 globally .
Additional areas of expertise: OCaml

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.