Skip to content
@AlloyTools

AlloyTools

Popular repositories Loading

  1. org.alloytools.alloy org.alloytools.alloy Public

    Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switch…

    Java 723 122

  2. models models Public

    A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilities, and proofs.

    Alloy 126 28

  3. alloytools.github.io alloytools.github.io Public

    Website for Alloytools

    HTML 13 14

  4. electrod electrod Public

    Forked from grayswandyr/electrod

    Formal analysis for the Electrod formal specification language

    OCaml 1

  5. minisat minisat Public

    Forked from niklasso/minisat

    A minimalistic and high-performance SAT solver

    C++

  6. glucose glucose Public

    Forked from audemard/glucose

    The glucose SAT solver

    C++

Repositories

Showing 10 of 10 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…