Notifications You must be signed in to change notification settings A basic Java SAT-Solver. Parses a String as a Boolean formula then computes all the interpretations to that formula. The Boolean ...