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
      •122•717•40•2•Updated Oct 7, 2024Oct 7, 2024

    • electrod

      Public
      Formal analysis for the Electrod formal specification language
      OCaml
      •
      Other
      •4•1•0•0•Updated Oct 3, 2024Oct 3, 2024

    • alloytools.github.io

      Public
      Website for Alloytools
      HTML
      •
      MIT License
      •14•13•5•1•Updated Aug 22, 2024Aug 22, 2024

    • cadical

      Public
      CaDiCaL SAT Solver
      C++
      •
      MIT License
      •129•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•124•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
      •16•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
      •384•0•0•0•Updated Jun 21, 2023Jun 21, 2023

    • glucose

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