tkren/depqbf
DepQBF, a solver for quantified boolean formulae (QBF).
Public GitHub Catalog
Discovered Sep 27, 2026
tkren / dotfiles
dotfiles managed with https://chezmoi.io/
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.
#11193970GitHub System ID
tkrenOrganization / User
PublicVisibility
ActiveCatalog Status
More from tkren
tkren/vcwc
Versioning Competition Workflow Compiler
tkren/bool2cnf
A tool for converting a boolean formula into CNF