Skip to content

Latest commit

 

History

History
25 lines (13 loc) · 902 Bytes

README.md

File metadata and controls

25 lines (13 loc) · 902 Bytes
Raw

CIS-890-Assignment-1

Formula will be generated using following arguments:

-n : Number of non-empty clauses that should occur in a formula

-k : Maximum number of variables that can occur in a formula

-l : Maximum size of each clause

--strict: Every clause should have l literals (optional)

Instructions to generate CNF formula

  1. Go to the folder where the groovy file RandomFormulaGenerator.groovy is.

  2. Enter following command in CLI.

groovy RandomFormulaGenerator.groovy -n N -k K -l L --strict

  1. You will get a file with .cnf extension in the same folder of your program.

Note: Enter your constraint parameters in place of N, K and L by following definitions given above for each option. --strict option is not necessary to generate CNF formula. By specifying --strict, every clause contained in a generated formula will be having L literals.

---Aditya Narkar---