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.
12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970.typst-page > div:first-child { transform: scale(1) !important;}
.typst-html-semantics { position: absolute; z-index: 2; color: transparent; font-family: monospace; white-space: pre;}
.typst-html-semantics span { color: transparent; font-family: monospace; transform-origin: left top; position: absolute; display: inline-block; left: 0; top: 0;}
.typst-content-hint { position: absolute; display: inline-block; width: 1px; height: 1px; overflow: hidden;}
.typst-html-semantics a { position: absolute; display: inline-block;}
/* set transparent itself */.typst-content-group { pointer-events: visible;}
.typst-html-semantics span::-moz-selection { color: transparent; background: #7db9dea0;}
.typst-html-semantics span::selection { color: transparent; background: #7db9dea0;}
.typst-html-semantics *::-moz-selection { color: transparent; background: transparent;}
.typst-html-semantics *::selection { color: transparent; background: transparent;}
.typst-content-fallback { color: transparent; background: transparent;}
.pseudo-link,.typst-text { pointer-events: none;}