In computer science and software engineering, Alloy is a declarative
specification language for expressing complex structural constraints and
behavior in a software system. Alloy provides a simple structural modeling tool
based on first-order logic. Alloy is targeted at the creation of micro-models
that can then be automatically checked for correctness. Alloy specifications
can be checked using the Alloy Analyzer.
Hype is a powerful proxy service/unblocker for school.
⛔️ DEPRECATED BY:
This was created as part of our final project for Wellesley CS 340 project. Follows a interactive story where players navigate through a series of word logic puzzles. We model the word puzzles through formal verification tools Z3 and Alloy. Our aim is to formally encode each puzzle’s constraints, verify solution correctness with solvers.
A Domain Specific Language for Crisis Modeling, Simulation, and Optimization. Multiple Configuration Formats: Support for YAML, JSON, TOML, HCL, Starlark, XML, and a custom DSL Crisis Scenario Simulation