import util, submission, sys
if len(sys.argv) < 2:
print "Usage: %s <profile file (e.g., profile3d.txt)>" % sys.argv[0]
sys.exit(1)
profilePath = sys.argv[1]
bulletin = util.CourseBulletin('courses.json')
profile = util.Profile(bulletin, profilePath)
profile.print_info()
cspConstructor = submission.SchedulingCSPConstructor(bulletin, profile)
csp = cspConstructor.get_basic_csp()
cspConstructor.add_all_additional_constraints(csp)
alg = submission.BacktrackingSearch()
alg.solve(csp, mcv=True, ac3=True)
if alg.optimalAssignment:
print alg.optimalWeight
for key, value in alg.optimalAssignment.items():
print key, '=', value
print alg.numOptimalAssignments
if alg.numOptimalAssignments > 0:
print "solution========================="
solution = util.extract_course_scheduling_solution(profile,
alg.optimalAssignment)
util.print_course_scheduling_solution(solution)
for assignment in alg.allAssignments:
solution = util.extract_course_scheduling_solution(profile, assignment)
util.print_course_scheduling_solution(solution)
import util, submission, sys
if len(sys.argv) < 2:
print ("Usage: %s <profile file (e.g., profile3d.txt)>" % sys.argv[0])
sys.exit(1)
profilePath = sys.argv[1]
bulletin = util.CourseBulletin('rice_cs_courses.json')
profile = util.Profile(bulletin, profilePath)
profile.print_info()
cspConstructor = submission.SchedulingCSPConstructor(bulletin, profile)
csp = cspConstructor.get_basic_csp()
cspConstructor.add_all_additional_constraints(csp)
alg = submission.BacktrackingSearch()
alg.solve(csp, mcv = True, mac = True)
if alg.optimalAssignment:
print (alg.optimalWeight)
for key, value in alg.optimalAssignment.items():
print ("%s = %s" %(key, value))
solution = util.extract_course_scheduling_solution(profile, alg.optimalAssignment)
util.print_course_scheduling_solution(solution)