vegard/minisat-www

Stars
2
Language
C++
Created over 12 years ago
Updated over 12 years ago

vegard/minisat-www

vegard

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

MiniSat in a browser

prog-fuzz

Compiler/source code fuzzing tool using AFL instrumentation

sha1-sat

SAT instance generator for SHA-1

rgbds-linux

Rednex GameBoy Development System

cnf-utils

Dimacs CNF utilities

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

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)