flisboac/uksat
University of Kent's SAT Solver (a humble undergraduate project, anyway)
A toy C library to load CSV tables (actually, almost anything resembling CSV).
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!