Random generator hgen8 of unsatisfiable formulas in CNF
Source code distribution:
Version 1.01
Back to Home Page