Genomator is a program which uses a SAT solver to generate synthetic genomic data from an input VCF dataset. The program parses an input file of genomic data for a number of individuals, specified in VCF format, and then generates the genomic data for a number of synthetic individuals, outputting the results as a different VCF formatted file. Genomator formulates SAT problem (boolean SATisfiability problem) which is composed of a (usually) large number of binary variables and a (usually) large number of constraints. In this context the SAT problem is representative of generating new individuals which are sufficiently similar to those in the dataset and yet also sufficiently different from each.