AnsgarKlein/DPLL-SAT-Solver
Implementation of the DPLL algorithm for solving the satisfiability problem of propositional logic
Public GitHub Catalog
Discovered Sep 25, 2026
AnsgarKlein / GPG-Gui
Linux GUI wrapping around symmetric GPG file encryption.
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.
#4379026GitHub System ID
AnsgarKleinOrganization / User
PublicVisibility
ActiveCatalog Status
More from AnsgarKlein
AnsgarKlein/valama
Next generation Vala IDE
AnsgarKlein/MarkEdit
Public repository.
AnsgarKlein/Simple-Chat-Infrastructure
Simple Chat Server/Client (Java, Swing, BSD 2-Clause)