Jannis Harder

varisat. SAT solver written in Rust

sortnetopt. Lower Size Bounds for Sorting Networks

kissat_extras. A fork of the Kissat SAT solver with additional features. Supports incremental solving.

zwohash. A fast, deterministic, non-cryptographic hash for use in hash tables for Rust

flussab. Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.

partial_ref. Type checked partial references for rust

starlit. CDCL SAT solver written in Rust. Work in progress. The basics are working, but there are lots of changes ahead, including API and CLI breakage.

permutation_group_experiments. Python

neca. NECA - Not Even Coppersmith's Attack: A ROCA weak RSA key attack

sortnetopt-gnp. Lower Size Bounds for Sorting Networks using Generate and Prune

pydical. Python wrapper for the CaDiCaL SAT solver

streampush. Tunnel TCP connections over QUIC with an optional fixed rate congestion controller

cnfpack. Converts between the text based DIMACS CNF file format and the compressed binary Cnfpack format

vec_mut_scan. Rust library for a forward scan over a vector with mutation and item removal

rust-actions. Rust

pac_brute. Rust

rastertortl. A CUPS raster filter for the now-ancient RTL printers, such as the HP DesignJet 600

tinytapeout_scan. Verilog

satbench. WIP SAT benchmarking tooling, written with only my personal use in mind.

sat-intro-2019-06-20. Demo application presented during my "Introduction to SAT Solving" talk at the OR Meetup Leipzig in June 2019.

sby. SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows

yasm. Yasm Assembler mainline development tree

ezusbfifo. Python