bernied/sylvan
Implementation of multi-core (binary) decision diagrams
Public GitHub Catalog
Discovered Oct 14, 2026
bernied / nice-sat
Circuit to DIMACS CNF tool split from BAT
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.
#39052182GitHub 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.