alloy_als_study

Studying Alloy Analyzer for relational database

Name		Name	Last commit message	Last commit date
Latest commit History 40 Commits
basic_associations		basic_associations
basic_constraint		basic_constraint
basics		basics
immutable_testdata		immutable_testdata
object_generated_by_event		object_generated_by_event
state		state
LICENSE		LICENSE
README.md		README.md

Provide feedback