University of Maryland database and schedule builder.
For more information, see Accidentally writing a fast SAT solver.
There isn't an official frontend, but HardUMD uses UMDB (if any errors show up, refresh the page and they should disappear).
University of Maryland database and schedule builder.
For more information, see Accidentally writing a fast SAT solver.
There isn't an official frontend, but HardUMD uses UMDB (if any errors show up, refresh the page and they should disappear).