README.md

feasiblesads

Implementation of a sampling algorithm to uniformly sample SADs from the feasible set.

Used to support the analysis in https://github.com/diazrenata/scadsanalysis, posted as a preprint at https://doi.org/10.1101/2021.01.18.427126.



diazrenata/feasiblesads documentation built on April 24, 2021, 12:26 a.m.