Pinned Repositories
alloytools.github.io
Website for Alloytools
cadical
CaDiCaL SAT Solver
electrod
Formal analysis for the Electrod formal specification language
gini
A fast SAT solver
glucose
The glucose SAT solver
lingeling
Lingeling SAT Solver
minisat
A minimalistic and high-performance SAT solver
minisatprover
The Pseudo-Boolean Solver MiniSat+
models
A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilities, and proofs.
org.alloytools.alloy
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's Repositories
AlloyTools/org.alloytools.alloy
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/models
A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilities, and proofs.
AlloyTools/alloytools.github.io
Website for Alloytools
AlloyTools/electrod
Formal analysis for the Electrod formal specification language
AlloyTools/cadical
CaDiCaL SAT Solver
AlloyTools/gini
A fast SAT solver
AlloyTools/glucose
The glucose SAT solver
AlloyTools/lingeling
Lingeling SAT Solver
AlloyTools/minisat
A minimalistic and high-performance SAT solver
AlloyTools/minisatprover
The Pseudo-Boolean Solver MiniSat+