call-alloy-0.1.0.2: A simple library to call Alloy given a specification

Index

existsInstanceLanguage.Alloy.Call
getInstancesLanguage.Alloy.Call