vegard/clsat vegard/clsat

  • Stars
    star
    16
  • Rank 1,311,288 (Top 26 %)
  • Language
    C++
  • License
    GNU General Publi...
  • Created over 13 years ago
  • Updated over 13 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
vegard/clsat
github

vegard

Reviews

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

Repository Details

OpenCL SAT solver

More Repositories

1

prog-fuzz

Compiler/source code fuzzing tool using AFL instrumentation
C++
123
star
2

sha1-sat

SAT instance generator for SHA-1
C++
46
star
3

rgbds-linux

Rednex GameBoy Development System
C
32
star
4

cnf-utils

Dimacs CNF utilities
C++
20
star
5

v

toy language/compiler
C++
16
star
6

libx86

C++ interface to x86/x86-64 registers and data structures
C++
15
star
7

beach-gbc

Beach (GameBoy Color demo)
Python
14
star
8

mkbtcaddr

Generate encrypted bitcoin keypair
C++
11
star
9

blender-lba

Import LBA1 HQR files in Blender
Python
6
star
10

pwman

JavaScript Password Manager
JavaScript
5
star
11

scribe

A 3D pixel engine/game
C++
4
star
12

pixel-art

Procedural pixel art rendering
JavaScript
4
star
13

cafebabe

a light-weight Java-class-file loader library in C
C
4
star
14

cmpsat

Mladen Nikolić's tool for comparing sample runtime distributions of SAT solvers
C++
3
star
15

pldata

Project Legilimensia (Harry Potter MUD) Data
Perl
3
star
16

trick2

sound synthesizer and sequencer
C++
2
star
17

cnf3d

CNF 3D visualiser
C++
2
star
18

minisat-www

MiniSat in a browser
C++
2
star
19

openbrain

Brain simulation
C++
2
star
20

sha1-collision

SHA1 collision visualisation
Python
2
star
21

trick

sound synthesizer and sequencer
C++
2
star
22

libcxxrt

libcxxrt port for the Linux kernel
C++
1
star
23

spaceinv

More Space Invaders
C++
1
star
24

auto-qa

Automatic testing of the linux kernel
Perl
1
star
25

sat2013-cryptocompo

SAT 2013 “Crypto Competition” proposal
Shell
1
star
26

pledge-of-conduct

Pledge of Conduct
1
star
27

satxx11

Parallel SAT solver
C++
1
star
28

hiragana

Hiragana tutor
JavaScript
1
star
29

medici

Medici - The Da Vinci Journals (GBA)
C++
1
star