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

Index

existsInstanceLanguage.Alloy.Call
getInstancesLanguage.Alloy.Call