From ba4ab52aff3e68043e12d39ba343398444779a06 Mon Sep 17 00:00:00 2001 From: "Kuldeep S. Meel" Date: Sat, 6 Jan 2024 10:24:55 -0500 Subject: [PATCH] Update README.markdown --- README.markdown | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.markdown b/README.markdown index 1488176d9..95c2e3796 100644 --- a/README.markdown +++ b/README.markdown @@ -1,10 +1,10 @@ [![License: MIT](https://img.shields.io/badge/License-MIT-yellow.svg)](https://opensource.org/licenses/MIT) [![build](https://github.com/meelgroup/cmsgen/actions/workflows/build.yml/badge.svg)](https://github.com/meelgroup/cmsgen/actions/workflows/build.yml) -CMSGen a fast uniform-like sampler +CMSGen a fast weighted-like sampler =========================================== -This system provides CMSGen, a fast uniform-like sampler. While we give no guarntees that the sampling is uniform, it is currently the best non-guaranteed uniform sampler as per our testing with [Barbarik](https://github.com/meelgroup/barbarik). In case you need guaranteed uniform sampling, please check out [UniGen](https://github.com/meelgroup/unigen). When citing CMSGen, always reference our [FMCAD'21 paper](https://meelgroup.github.io/files/publications/fmcad21_shakuni.pdf) (bibtex [here](https://meelgroup.github.io/publication/fmcad21/cite.bib)). +This system provides CMSGen, a fast weighted-like sampler. While we give no guarntees that the sampling follows the desired distribution, it is currently the best non-guaranteed (uniform) sampler as per our testing with [Barbarik](https://github.com/meelgroup/barbarik). In case you need guaranteed uniform sampling, please check out [UniGen](https://github.com/meelgroup/unigen). When citing CMSGen, always reference our [FMCAD'21 paper](https://meelgroup.github.io/files/publications/fmcad21_shakuni.pdf) (bibtex [here](https://meelgroup.github.io/publication/fmcad21/cite.bib)). Command-line usage -----