Skip to content

@AlloyTools AlloyTools

Change the repository type filter

All

    Repositories list

    10 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.
      Java
      •
      Other
      •124•737•42•0•Updated Feb 13, 2025Feb 13, 2025

    • alloytools.github.io

      Public
      Website for Alloytools
      HTML
      •
      MIT License
      •14•13•5•1•Updated Jan 9, 2025Jan 9, 2025

    • electrod

      Public
      Formal analysis for the Electrod formal specification language
      OCaml
      •
      Other
      •4•2•0•0•Updated Jan 6, 2025Jan 6, 2025

    • cadical

      Public
      CaDiCaL SAT Solver
      C++
      •
      MIT License
      •138•0•0•0•Updated Mar 6, 2024Mar 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.
      Alloy
      •
      Apache License 2.0
      •28•128•0•2•Updated Jan 16, 2024Jan 16, 2024

    • minisatprover

      Public
      The Pseudo-Boolean Solver MiniSat+
      C++
      •
      Other
      •13•0•0•0•Updated Jun 22, 2023Jun 22, 2023

    • gini

      Public
      A fast SAT solver
      Go
      •
      MIT License
      •17•0•0•0•Updated Jun 21, 2023Jun 21, 2023

    • lingeling

      Public
      Lingeling SAT Solver
      C
      •
      MIT License
      •29•0•0•0•Updated Jun 21, 2023Jun 21, 2023

    • minisat

      Public
      A minimalistic and high-performance SAT solver
      C++
      •
      Other
      •399•0•0•0•Updated Jun 21, 2023Jun 21, 2023

    • glucose

      Public
      The glucose SAT solver
      C++
      •
      MIT License
      •18•0•0•0•Updated Jun 21, 2023Jun 21, 2023