nicolen8489/AmbSAT
A hybrid solver combining MiniSAT and WalkSAT based on a unique notion of ambivalence.
Public GitHub Catalog
Discovered Sep 28, 2026
nicolen8489 / ImmunizationRecords
Public repository discovered through GitHub real-time crawl.
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.
#13508977GitHub System ID
nicolen8489Organization / User
PublicVisibility
ActiveCatalog Status
More from nicolen8489
nicolen8489/HybridTestBed
Public repository.
nicolen8489/Project-2
Modification to use walksat at time of ambivalence
nicolen8489/Benchmarks
These are benchmarks for testing...