A 137ms Sparse-Matrix 3-SAT Solver for 10k Variables

Этот проект предоставляет высокопроизводительный решатель 3-SAT, обрабатывающий 10k переменных за 137 мс с использованием разреженных матриц, что даёт значитель