vegard/cnf-utils

Stars
20
Rank 1,121,974 (Top 23 %)
Language
C++
License
GNU General Publi...
Created almost 14 years ago
Updated almost 14 years ago

vegard/cnf-utils

vegard

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

Dimacs CNF utilities

prog-fuzz

Compiler/source code fuzzing tool using AFL instrumentation

sha1-sat

SAT instance generator for SHA-1

rgbds-linux

Rednex GameBoy Development System

clsat

OpenCL SAT solver

v

toy language/compiler

libx86

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

beach-gbc

Beach (GameBoy Color demo)

mkbtcaddr

Generate encrypted bitcoin keypair

blender-lba

Import LBA1 HQR files in Blender

pwman

JavaScript Password Manager

scribe

A 3D pixel engine/game

pixel-art

Procedural pixel art rendering

cafebabe

a light-weight Java-class-file loader library in C

cmpsat

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

pldata

Project Legilimensia (Harry Potter MUD) Data

trick2

sound synthesizer and sequencer

cnf3d

CNF 3D visualiser

minisat-www

MiniSat in a browser

openbrain

Brain simulation

sha1-collision

SHA1 collision visualisation

trick

sound synthesizer and sequencer

libcxxrt

libcxxrt port for the Linux kernel

spaceinv

More Space Invaders

auto-qa

Automatic testing of the linux kernel

sat2013-cryptocompo

SAT 2013 “Crypto Competition” proposal

pledge-of-conduct

Pledge of Conduct

satxx11

Parallel SAT solver

hiragana

medici

Medici - The Da Vinci Journals (GBA)