horn-sat (npm): Solves HORNSAT
Keywords: horn|sat|boolean|satisfiability|clause|prolog|normal|form