[Community Puzzle] Horn-SAT solver

[CommunityBot]

https://www.codingame.com/training/hard/horn-sat-solver

Send your feedback or ask for help here!