daniel-bulger/graceful-labeling
A Prolog library that generates and verifies graceful labelings for trees.
Finds quasi-cliques in graphs via propinquity in syntax trees
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
A Prolog library that generates and verifies graceful labelings for trees.
A blank slate for a new generation!
This project takes a boolean expression as input and outputs a latex document showing the step-by-step simplification of the boolean expression with justifications for each step
A program that allows the user to play Connect-Four manually or through the use of AI.