GitHub repository: Jiarx3/Boolean-satisfiability-problem
Created: 2025-01-13T16:06:36Z
Description: A simple Boolean satisfiable problem (SAT) C++ solution code, is the sophomore data structure and algorithm course project.