models.book.appendixA.prison.als Maven / Gradle / Ivy
module appendixA/prison
sig Gang { members: set Inmate }
sig Inmate { room: Cell }
sig Cell { }
pred safe {
// your constraints should go here
}
pred show {
// your constraints should go here
}
run show
© 2015 - 2025 Weber Informatics LLC | Privacy Policy