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 742 125

  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 130 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 2

  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 11 repositories
  • 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 switching networks. This repository contains the code for the tool.

    AlloyTools/org.alloytools.alloy’s past year of commit activity
    Java 742 125 31 1 Updated Mar 13, 2025
  • homebrew-core Public Forked from Homebrew/homebrew-core

    🍻 Default formulae for the missing package manager for macOS (or Linux)

    AlloyTools/homebrew-core’s past year of commit activity
    Ruby 0 BSD-2-Clause 12,985 0 0 Updated Mar 11, 2025
  • alloytools.github.io Public

    Website for Alloytools

    AlloyTools/alloytools.github.io’s past year of commit activity
    HTML 13 MIT 14 2 1 Updated Feb 27, 2025
  • electrod Public Forked from grayswandyr/electrod

    Formal analysis for the Electrod formal specification language

    AlloyTools/electrod’s past year of commit activity
    OCaml 2 4 0 0 Updated Jan 6, 2025
  • cadical Public Forked from arminbiere/cadical

    CaDiCaL SAT Solver

    AlloyTools/cadical’s past year of commit activity
    C++ 0 MIT 142 0 0 Updated Mar 6, 2024
  • models Public

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

    AlloyTools/models’s past year of commit activity
    Alloy 130 Apache-2.0 28 0 2 Updated Jan 16, 2024
  • minisatprover Public Forked from niklasso/minisatp

    The Pseudo-Boolean Solver MiniSat+

    AlloyTools/minisatprover’s past year of commit activity
    C++ 0 14 0 0 Updated Jun 22, 2023
  • gini Public Forked from go-air/gini

    A fast SAT solver

    AlloyTools/gini’s past year of commit activity
    Go 0 MIT 17 0 0 Updated Jun 21, 2023
  • lingeling Public Forked from arminbiere/lingeling

    Lingeling SAT Solver

    AlloyTools/lingeling’s past year of commit activity
    C 0 MIT 30 0 0 Updated Jun 21, 2023
  • minisat Public Forked from niklasso/minisat

    A minimalistic and high-performance SAT solver

    AlloyTools/minisat’s past year of commit activity
    C++ 0 406 0 0 Updated Jun 21, 2023
View all repositories

People

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

Most used topics

Loading…