👤 Jorge Fernandez Davila

Zhegalkin Polynomial SAT Solver. Zhegalkin SAT Solver (ZPSAT) is a efficient alternative to solve Boolean functions systems. Jorge Fernandez Davila