AnsgarKlein/DPLL-SAT-Solver
Implementation of the DPLL algorithm for solving the satisfiability problem of propositional logic
Public GitHub Catalog
Discovered Sep 26, 2026
AnsgarKlein / Rocket-Launcher
Rocket-Launcher is a fast and lightweight application launcher for linux (Vala, GTK+ 3, GPLv3)
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#7097453GitHub 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)