Random generator hgen2 of satisfiable formulas in 3-CNF
Source code distribution:
Version 1.01
Back to Home Page