wobbl.in / kemisolve
A fast, high-performance exam scheduling system backed by Z3, with a SvelteKit frontend. Designed for small-medium sized schools. kemisolve.wobbl.in
schools school z3 scheduling exam-scheduling solver
Star
Fork 0
Watch
kemisolve crates entity src
15 files
enrolled_students.rs
exam_order_constraints.rs
exam_time_constraints.rs
exam_timeslot_restrictions.rs
exams.rs
id.rs
lib.rs
schema.rs
sessions.rs
students.rs
subject_grade.rs
subjects.rs
timeslots.rs
timetable_slots.rs
timetables.rs