Overview

HTTPS SSH

README

UniGen is an almost-uniform generator of SAT witnesses for a given CNF formula. The code is based on hashing-based framework developed over the years. See overview paper here

For more details on hashing-based approach, please visit: http://www.kuldeepmeel.com

Installation and usage instructions can be found in the "README.md" file in the "ugen2" folder. Benchmarks can be found here. Please see the appendix of our TACAS 2015 paper for statistics on them.

Papers

DAC 2014 Paper

TACAS 2015 Paper

Licensing

Please see the file LICENSE-MIT.

Contributors

(1) Kuldeep Meel (meel@comp.nus.edu.sg)

(2) Daniel Fremont (dfremont@berkeley.edu)

(3) Mate Soos

(4) Zayd Hammoudeh

Contact

  • Kuldeep Meel (meel@comp.nus.edu.sg)