HTTPS SSH
create CNF version with gsd.render.out.CNFMain and parameters
../FreeBSDMiner/output/freebsd_constraints.txt ../FreeBSDMiner/output/freebsd_constraints_cnf.txt

create implication graph with gsd.render.out.ImplGraphMain and parameters
../FreeBSDMiner/output/freebsd_constraints_cnf.txt ../FreeBSDMiner/output/freebsd_implGraph.txt