bernied/nice-sat
Circuit to DIMACS CNF tool split from BAT
Public GitHub Catalog
Discovered Oct 14, 2026
bernied / sylvan
Implementation of multi-core (binary) decision diagrams
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#39026091GitHub System ID
berniedOrganization / User
PublicVisibility
ActiveCatalog Status
More from bernied
bernied/go-daikon-box
[NOT FUNCTIONAL] A vagrant box to make it easy to run daikon (the dynamic invariant detector) against go code.
bernied/mutti
A card game based on permutations.
bernied/permgraph
Program to generate permutation graphs.