SatSolver

A Satisfiability Solver made for a university competition (in rust because I don't hate myself enough)

View on GitHub

Created: November 1, 2025

Last updated: November 30, 2025

Project README