search

positiveblue / SimpleSatSolver

A Simple Sat Solver
MIT License
1 stars 1 forks source link

README typos #4

Open rurban opened 5 years ago