dunkirk.sh
bcd-optimization#
optimizing a gate level bcm to the end of the earth and back
The canonical repo for this is hosted on tangled over at dunkirk.sh/bcd-optimization
© 2026-present Kieran Klukas
optimizing a gate level bcm to the end of the earth and back
Python
100.0%
2
1
0
Clone this repository
https://tangled.org/dunkirk.sh/bcd-optimization
https://tangled.org/did:plc:krxbvxvis5skq7jj6eot23ul/bcd-optimization
git@knot.dunkirk.sh:dunkirk.sh/bcd-optimization
git@knot.dunkirk.sh:did:plc:krxbvxvis5skq7jj6eot23ul/bcd-optimization
For self-hosted knots, clone URLs may differ based on your setup.
Download tar.gz
Implements a multi-output logic synthesis solver that achieves 19 gate
inputs, beating the 23-input baseline by exploiting shared product terms
across the 7 segment outputs.
Features:
- Pure Python Quine-McCluskey with multi-output tagging
- MaxSAT optimization (PySAT RC2) for minimum-cost covering
- SAT-based exact synthesis for provably optimal circuits
- Export to Verilog, C code, and Boolean equations
- Result verification against truth tables
Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
README.md