Michele Collevati (@Colle11)
github

Colle11

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    6
  • Global Rank 1,296,723 (Top 45 %)
  • Followers 5
  • Following 24
  • Registered over 9 years ago
  • Most used languages
    Cuda     75.0 %
    C++
         25.0 %
  • Location 🇦🇹 Austria
  • Country Total Rank 13,502
  • Country Ranking
    Cuda     8
    C++
         693

Top repositories

1

MiraCle

CUDA C library which implements SAT branching heuristics on the GPU.
Cuda
2
star
2

Referee-Assignment_Problem

Advanced Scheduling Systems project.
C++
2
star
3

SATSolverDPLL_MiraCle

Cuda
1
star
4

microsat_MiraCle

Cuda
1
star