flisboac/uksat
University of Kent's SAT Solver (a humble undergraduate project, anyway)
A (serious) toy C library, to experiment my ideas on stream and string handling in C. (In C? really?)
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
University of Kent's SAT Solver (a humble undergraduate project, anyway)
University of Kent, Natural Computing, Assignment 1
Generical macro madness!
My old Plot Maker project for Writers/RP/Game Designers, now much more ambitious!