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.

Please see the file LICENSE-MIT.

(1) Kuldeep Meel ([email protected])

(2) Daniel Fremont ([email protected])

(3) Mate Soos

• Kuldeep Meel ([email protected])