https://www.codingame.com/training/hard/horn-sat-solver
Practice Horn-SAT and DIMACS with the exercise "Horn-SAT solver"
Want to practice Horn-SAT and DIMACS? Try to solve the coding challenge "Horn-SAT solver".
horn satwith thepracticedimacsexercise
https://www.codingame.com/learn/horn-sat
Learn Horn-SAT online - CodinGame
Learn what is Horn-SAT. Then, practice it on fun programming puzzles.
horn satlearnonlinecodingame