Quasigroup Completion Model using Occurrence Constraints
State and action based model, with no extra constraints.
State and action based model, with extra constraints.
State-based model, with extra constraints.
State-based model, with no extra constraints.