daniel-bulger/graceful-labeling
A Prolog library that generates and verifies graceful labelings for trees.
Discovered public repositories for daniel-bulger in the GitHub catalog.
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.