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
Something went wrong. Try again.
12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758/* main UI template */
#root { isolation: isolate; display: grid; block-size: 100dvh; overflow: hidden; grid-template: 'header' auto 'contents' 1fr 'sidebar' auto / 1fr;
@media (width > 52.5rem) { grid-template: 'sidebar header' auto 'sidebar contents' 1fr / auto 1fr; }
> main { min-block-size: 0; overflow: auto; grid-area: contents; padding: 1rem; }
> header { grid-area: header; display: flex; justify-content: space-between; align-items: end; gap: 1rem; flex-wrap: wrap; padding: 1rem;
h1 { @apply --m3-headline-large; color: var(--m3c-on-surface); }
h2 { @apply --m3-title-medium; color: var(--m3c-on-surface-variant); }
> :is(menu, div):not(:first-child) { display: flex; gap: 0.5rem; align-items: center; flex-wrap: wrap; }
> menu { list-style: none; padding: 0; } }}