/PatrickTrentin88

PatrickTrentin88

@PatrickTrentin88

Open GitHub

🇺🇸 Minneapolis, USA

Profile age: almost 12 years

Updated 12 days ago

10 followers • 1 following

Organizations

Repositories

gltl2ba

24

8

updated about 8 years ago • age about 8 years

Python100.0%

fzn2omt

8

0

updated about 2 years ago • age almost 6 years

Python97.1%

Shell2.9%

omt_python_examples

6

1

updated 12 months ago • age over 6 years

SMT79.4%

Python20.6%

Contributions

2020
pysmt
1 PR +759-493
Python
619
140
19