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.

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

Contact

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