satificator 0.1.2

Generates dimacs file from SAT on graphs
Documentation