vegard/cmpsat vegard/cmpsat

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    C++
  • License
    GNU General Publi...
  • Created over 12 years ago
  • Updated over 12 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
vegard/cmpsat
github

vegard

Reviews

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

Repository Details

Mladen Nikolić's tool for comparing sample runtime distributions of SAT solvers

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

clsat

OpenCL SAT solver
C++
16
star
6

v

toy language/compiler
C++
16
star
7

libx86

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

beach-gbc

Beach (GameBoy Color demo)
Python
14
star
9

mkbtcaddr

Generate encrypted bitcoin keypair
C++
11
star
10

blender-lba

Import LBA1 HQR files in Blender
Python
6
star
11

pwman

JavaScript Password Manager
JavaScript
5
star
12

scribe

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

pixel-art

Procedural pixel art rendering
JavaScript
4
star
14

cafebabe

a light-weight Java-class-file loader library in C
C
4
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