Colle11/SATSolverDPLL_MiraCle Colle11/SATSolverDPLL_MiraCle

  • Stars
    star
    1
  • Language Cuda
  • Created almost 3 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Colle11/SATSolverDPLL_MiraCle
github

Colle11

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More 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

microsat_MiraCle

Cuda
1
star