Iván Garzón (@i4vk)
github

i4vk

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    3
  • Global Rank 1,854,108 (Top 64 %)
  • Followers 12
  • Following 16
  • Registered over 7 years ago
  • Most used languages
    C++
         50.0 %
    Python
         50.0 %
  • Location 🇪🇸 Spain
  • Country Total Rank 17,626
  • Country Ranking
    C++
         2,283
    Python
         6,884

Top repositories

1

SAT_generators

Python
1
star
2

SAT_gen_comparator

In this project, we have developed a comparator for industrial SAT formula generators.
C++
1
star