Mathias Preinersmtconstraintspython-3
smt top 1000 constraints top...

Global rank

# 518,691

Topics of expertise

smt
constra...
python-...
Ada

Github followers

9

Github username

mpreiner

Location

None

About

Mathias Preiner's main area of expertise is smt , and is also an expert on constraints and python-3 . Mathias Preiner is recognized as Smt Top-1000 and Constraints Top-1000 . A Github user since 2013 , Mathias Preiner is ranked as #518,691 globally .
Additional areas of expertise: Ada

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.