pkhuong/tetris-dpll
An implementation of the DPLL at the core of http://arxiv.org/abs/1404.0703
Public GitHub Catalog
Discovered Sep 28, 2026
pkhuong / autobench
Automated Common Lisp implementation builder, version archiver and benchmarker. Supports SBCL, CLISP and CMUCL.
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.
#12814671GitHub System ID
pkhuongOrganization / User
PublicVisibility
ActiveCatalog Status
More from pkhuong
pkhuong/modok
Hydra^2 for box constrained least squares.
pkhuong/ck
Concurrency primitives, safe memory reclamation mechanisms and non-blocking data structures designed to aid in the research, design and implementation of high performance concurrent systems.
pkhuong/acd-alm
Accelerated coordinate descent for an augmented Lagrangian method