OKullmann/Maxima
Initial Setup
Public GitHub Catalog
Discovered Sep 30, 2026
OKullmann / Project
Unit clause propagation algorithm for 4th year MEng project
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.
#17173442GitHub System ID
OKullmannOrganization / User
PublicVisibility
ActiveCatalog Status
More from OKullmann
OKullmann/Turtle-Screensaver
Public repository.
OKullmann/OK1_Exploring_complexity
Summer Internship, Swansea University 2014
OKullmann/DESviaSAT
Understanding how to attack DES via SAT for 3rd year Bsc project