Gabriele Masina (@masinag)
github

masinag

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    4
  • Global Rank 1,611,161 (Top 56 %)
  • Followers 17
  • Following 25
  • Registered over 8 years ago
  • Most used languages
    Python
         100.0 %
  • Location 🇮🇹 Italy
  • Country Total Rank 11,918
  • Country Ranking
    Python
         3,500

Top repositories

1

allsat-cnf

Code for the paper "On CNF Conversion for SAT Enumeration"
Python
1
star
2

runexpy

Experiment manager
Python
1
star