GitHub repository: mihaigabriel18/SAT_SOLVER
Primary language: Python
Created: 2020-12-22T23:40:00Z
Description: 2 algorithm implementations for a SAT problem solver (FNC form solver, and BDD (Binary Decision Diagram))