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

Global rank

# 636,666

Topics of expertise

sat-sol...
smt
symboli...
Haxe

Github followers

15

Github username

zaddach

Location

None

About

Jonas Zaddach's main area of expertise is sat-solver , and is also an expert on smt and symbolic-execution . Jonas Zaddach is recognized as Sat-solver Top-100Smt Top-1000, and Symbolic-execution Top-1000 . A Github user since 2013 , Jonas Zaddach is ranked as #636,666 globally .
Additional areas of expertise: Haxe, and LLVM

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.