Open-source research software

Public, MIT-licensed repositories covering SAT instance generation, DIMACS CNF benchmarks, CNF preprocessing, the SAT trace format (STTF), QuasiShor and entropy testing, published by Byt-Wyze Technology on GitHub for reproducible research.

Byt-Wyze open-source repositories: SAT instance libraries, DIMACS CNF benchmarks, CNF preprocessing, SAT trace format (STTF) tooling, QuasiShor, entropy testing and reproducible research software. MIT-licensed on GitHub.

Open source at Byt-Wyze

Public repositories

Coming soon

Research toolkits and executable laboratories underpinning our decision-intelligence and verification work. Several repositories are now public on GitHub; others remain private during pre-release review — request access if you'd like to collaborate.

• A two-dimensional programming language where every value is an ASCII cat, topology is grammar, and every feeling has semantics.
• Deterministic SAT APIs, CNF preprocessing tools, and reproducible research standards.
• Curated collection of 100+ SAT problem instances with difficulty taxonomy, solver metrics, and interactive HTML viewer.
• Specification and client examples for the Byt-Wyze SAT Maker API (deterministic CES-weighted SAT instance generator).
• Structured trace-format utilities for SAT solver research and reproducible benchmarking.
• A dependency-free browser tool for exploring growth patterns, stability, structural changes, and candidate models in numeric sequences.
• A browser laboratory for exploring arithmetic feature representations, PCA, clustering, and validation.
• Byt-Wyze open-source repositories
• Open Source SAT, Cryptography & Research Tools on GitHub