https://docs.rs/dimacs/latest/dimacs/
dimacs - Rust
The parser facility for parsing `.cnf` and `.sat` files as specified in the DIMACS format specification.
dimacsrust
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/dimacs
Learn DIMACS online - CodinGame
Learn what is DIMACS. Then, practice it on fun programming puzzles.
learndimacsonlinecodingame