vyasakanksha/2Sat
A solver for 2-sat formulas
Public GitHub Catalog
Discovered Sep 30, 2026
vyasakanksha / satvc
The TwoManySat's Verifying Compiler
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.
#18318528GitHub System ID
vyasakankshaOrganization / User
PublicVisibility
ActiveCatalog Status
More from vyasakanksha
vyasakanksha/TellTheCow
A todo list
vyasakanksha/Fox
Experiments with computer vision
vyasakanksha/Tengine
The Power of Ten Engine is a physics-y and math-y physics engine. More later.