ofmooseandmen/dpll
Davis–Putnam–Logemann–Loveland (DPLL) algorithm implementation
Public GitHub Catalog
Discovered Sep 29, 2026
ofmooseandmen / sherpa
A planner of shortest routes on earth surface avoiding user defined obstacles - based on A*, Constrained Delaunay Triangulation & Navigation Mesh
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.
#13787233GitHub System ID
ofmooseandmenOrganization / User
PublicVisibility
ActiveCatalog Status
More from ofmooseandmen
ofmooseandmen/StringMetrics.js
A collection of string metrics in JavaScript
ofmooseandmen/DaapClient.js
Javascript DAAP client