All Downloads are FREE. Search and download functionalities are using the official Maven repository.

models.examples.toys.trivial.als Maven / Gradle / Ivy

//a trivial model whose command has no solution
module trivial

sig S {}

fact { 1=2 }

run {some S} expect 0




© 2015 - 2025 Weber Informatics LLC | Privacy Policy