v1.0.0

(1.0.0) https://github.com/RoryPoulter/SAT-Solver/commits/v1.0.0 [2025-03-13]

Closed issues: #1, #2, #3, #4, #5, #6

First release of SAT solver.