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 "INSTALL" 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)