Semi-Tenser Product based SAT and AllSAT solver, where it can solve CNF and circuit input.
Primary LanguageC++MIT LicenseMIT