Time Table Scheduling Based on SAT Encoding

Programmers

This repository contains the code for SAT solver for "Time Table Scheduling" problem of a university

Name		Name	Last commit message	Last commit date
Latest commit History 8 Commits
.ipynb_checkpoints		.ipynb_checkpoints
Papers On SAT Encoding		Papers On SAT Encoding
Input_File.json		Input_File.json
LICENSE		LICENSE
Question Statement.pdf		Question Statement.pdf
README.md		README.md
Timetable SAT Solver.py		Timetable SAT Solver.py
Z3 Tutorial.pdf		Z3 Tutorial.pdf
report.pdf		report.pdf
timeTable.txt		timeTable.txt
to-submit-v2.html		to-submit-v2.html
to-submit-v2.ipynb		to-submit-v2.ipynb