satificator 0.1.0

Generates dimacs file from SAT on graphs
Documentation