nchong/sat nchong/sat

  • Stars
    star
    7
  • Rank 2,294,772 (Top 46 %)
  • Language
    Python
  • Created almost 13 years ago
  • Updated almost 13 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
nchong/sat
github

nchong

Reviews

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

Repository Details

simple dpll sat solver

More Repositories

1

cudahook

Intercepting CUDA runtime calls with LD_PRELOAD
C++
36
star
2

scan

Scan (prefix-sum) on OpenCL
C
9
star
3

ic_liggghts

Accelerating LIGGGHTS using GPUs
F#
6
star
4

icliggghts

A LIGGGHTS fork
F#
3
star
5

pairgen

Autogenerate LAMMPS pairstyles
C++
3
star
6

pairgenv2

C++
1
star
7

cudaplay

just playing around with nvcc...
1
star
8

clwrapper

OpenCL wrapper (everyone has one)
C++
1
star
9

litmus

GPU litmus tests
C++
1
star
10

hertz_testdata

1
star
11

hertzstone

C++
1
star
12

hertz_framework

A framework for performance testing different contact model implementations
C++
1
star
13

hertz_aos

C
1
star