DRMacIver/SAT-reduce

Stars
4
Rank 3,304,323 (Top 66 %)
Language
Python
License
MIT License
Created over 1 year ago
Updated over 1 year ago

DRMacIver/SAT-reduce

DRMacIver

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

Test-case reducer for SAT problems

minithesis

A very minimal implementation of the core idea of Hypothesis

structureshrink

Structured shrinking of unknown file formats

shrinkray

Shrinkray is a modern multi-format test-case reducer

schroedinteger

Is this integer dead or alive?

hecate

A terrible way of testing terminal applications

shrinkray-old

Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats

glassbox

A library for tracking program state

systems

notebook

each

A small batch processing utlity

hypothesis-training

Repository for my Hypothesis training course

research-notebook

A collection of research notes and paper reviews

programmer-at-large-notes

World-building notes for my "Programmer at large" fiction

things-to-try

Some useful things to try

intset

Compressed representation of sorted lists of unsigned integers

Feedback-Arc-Set

A C library and CLI for finding near-maximum weighted feedback arc sets

squish

Collapse lines of key, value pairs into key, values... pairs

foundational-llm-evals

FALBS

Fully Automated Luxury Boltzmann Samplers

lstar

simplifuzz

hypothesis-talks

Slides for talks about Hypothesis

drmaciver.github.com

misc-talks

Talks I give that *aren't* about Hypothesis

notation

anyreduce

cadence