Giters
AlloyTools

AlloyTools

Geek Repo

Github PK Tool:Github PK Tool

AlloyTools's repositories

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.

Language:JavaLicense:NOASSERTIONStargazers:689Issues:19Issues:183

models

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

Language:AlloyLicense:Apache-2.0Stargazers:120Issues:17Issues:8

alloytools.github.io

Website for Alloytools

Language:HTMLLicense:MITStargazers:12Issues:0Issues:0

electrod

Formal analysis for the Electrod formal specification language

Language:OCamlLicense:NOASSERTIONStargazers:1Issues:0Issues:0

cadical

CaDiCaL SAT Solver

Language:C++License:MITStargazers:0Issues:0Issues:0

gini

A fast SAT solver

Language:GoLicense:MITStargazers:0Issues:0Issues:0

glucose

The glucose SAT solver

Language:C++License:MITStargazers:0Issues:0Issues:0

lingeling

Lingeling SAT Solver

Language:CLicense:MITStargazers:0Issues:0Issues:0

minisat

A minimalistic and high-performance SAT solver

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

minisatprover

The Pseudo-Boolean Solver MiniSat+

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0