Cristian Mattareismtconstraintspython-3
smt top 1000 constraints top...

Global rank

# 566,198

Topics of expertise

smt
constra...
python-...

Github followers

11

Github username

cristian-mattarei

Location

None

About

Cristian Mattarei's main area of expertise is smt , and is also an expert on constraints and python-3 . Cristian Mattarei is recognized as Smt Top-1000 and Constraints Top-1000 . A Github user since 2016 , Cristian Mattarei is ranked as #566,198 globally .

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.