Use of Axeyum
Axeyum checked the scheduling constraints and reduced the contradiction to an irreducible infeasible subsystem.
- Components
- Axeyum SMT SolverAxeyum Library
Recorded result
Five rows form the recorded irreducible infeasible subsystem.
Supporting artifacts
Artifact pages contain the formal statement, proof route, evidence, provenance, and direct dependency graph recorded in the ledger.
- Five rows of a 102-row ICU night roster are an irreducible infeasible subsystem search-certificate · F:roster-icu-night-iis