qfiard/cuda-sat-solver qfiard/cuda-sat-solver

  • Stars
    star
    15
  • Rank 1,371,379 (Top 28 %)
  • Language
    C++
  • Created almost 12 years ago
  • Updated almost 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
qfiard/cuda-sat-solver
github

qfiard

Reviews

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

Repository Details

An implementation of a SAT solver using the CUDA library

More Repositories

1

diff_match_patch

C++11 port of the Diff, Match and Patch libraries for Plain Text.
C++
12
star
2

CoqCertifiedCompiler

A compiler for a very simple language, certified in Coq
Coq
3
star
3

GooglifyCMake

A project that allows using CMake like Blaze (Google's build system) for C++, Objective-C, Java, Python and R.
C++
3
star
4

shark

Fork of the Shark Machine Learning Library
C++
2
star
5

SimpleMLCompiler

Compiler for a subset of ML
OCaml
2
star
6

PlagiarismChecker

Java
1
star
7

intel_pcm

CMake binding for Intel's Performance Counter Monitor library
C++
1
star