SatisfiabilityALGS Solving the satisfiability problem. Optimized HornSAT and 2SAT and general SAT(not optimized).