A highly customizable timetabling software for educational institutions
that encodes timetabling constraints as a SAT formula and solves them
using a MaxSAT solver.
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.