package com.naveensundarg.shadow.prover.generators;

public  class GeneratorParams {


        public int maxAtoms;
        public int maxLiteralsInClause;
        public int clauses;
        public int maxArity;
        public int maxTermDepth;
        public int maxFormulaDepth;

        public int maxInferenceDepth;
}

