Codebase for the NUS Timetable Optimizer, a tool to help students at the National University of Singapore optimize their timetables to their liking.
19
stars
4
forks
source link
Use smaller z3 wasm file to save bandwidth #8
Closed
frizensami closed 3 years ago
Having errors with z3smt2w, closing