Table of contents
cnfformula
cnfformula.cmdline
cnfformula.cnf
cnfformula.cnfgen
cnfformula.families
cnfformula.families.cliquecoloring
cnfformula.families.coloring
cnfformula.families.counting
cnfformula.families.dominatingset
cnfformula.families.graphisomorphism
cnfformula.families.ordering
cnfformula.families.pebbling
cnfformula.families.pigeonhole
cnfformula.families.ramsey
cnfformula.families.randomformulas
cnfformula.families.simple
cnfformula.families.subgraph
cnfformula.families.subsetcardinality
cnfformula.families.tseitin
cnfformula.graphs
cnfformula.prjdata
cnfformula.transformations
cnfformula.transformations.shuffle
cnfformula.transformations.substitutions
cnfformula.utils
cnfformula.utils.cnfshuffle
cnfformula.utils.dimacstransform
cnfformula.utils.kthlist2pebbling
cnfformula.utils.solver