README additions

parent 7426f2b4
......@@ -92,7 +92,8 @@ Once the req file is complete, make sure the naming convention is correct and pl
i.e. For the B.S. Computer Science degree plan of 2015, place the req file in gradaudit/bs/cs/2015. This directory will eventually contain 5 LP files all associated with this exact degree plan.
Note: A course should not satisify more than one degree requirement.
i.e. there should not be the two facts '_req(course1,req1)' and '_req(course2,req2)' for any degree.
D. Once the _req file has been created, run the python script req_writer.py and pass three arguments in the command line in this form:
......@@ -163,7 +164,7 @@ G. The last file to create is the rules file and has the naming convention
H. Finally, all 5 files are created and the user can now create the main.lp file (See How To Run An Audit).
Note: course.lp should contain all valid courses along with the number of credit hours they can be taken for.
Note: course.lp should contain all valid courses along with the number of credit hours they can be taken for. We also assume courses that can count for a variable number of hours count for 3 hours (e.g. CS4V98).
_course(className,hours) where hours is the credit hours.
7. "counting.lp" contains useful predicates to help code graduation rules
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment