Genomator

Created 20/09/2025

Updated 20/09/2025

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.

Files and APIs

Additional Info

Field Value
Title Genomator
Language English
Licence Not Specified
Landing Page https://data.gov.au/data/dataset/f6d3252f-ce2f-5c6b-a142-34bc3f38dc81
Contact Point
CSIRO Data Access Portal
CSIROEnquiries@csiro.au
Reference Period 01/01/2000
Geospatial Coverage Australia
Data Portal CSIRO DAP

Data Source

This dataset was originally found on CSIRO DAP "Genomator". Please visit the source to access the original metadata of the dataset:
https://data.csiro.au/collection/csiro:66346