A highly customizable timetabling software for educational institutions
that encodes timetabling constraints as a SAT formula and solves them
using a MaxSAT solver.
(Ownership verified)
The publisher has verified that they own this domain.
It does not guarantee the Snap is an official upload
from the upstream project.
Snaps are applications packaged with all their dependencies to run on all popular Linux distributions from a single build. They update automatically and roll back gracefully.
Snaps are discoverable and installable from the Snap Store, an app store with an audience of millions.