TACO (Trajectory and Compressed Observables) Format for molecular dynamics data
Tool to automatically download and decrypt 64 bits iOS firmware images.
A very simple util that parses the XML and corresponding C struct trail files (using nom) from Taco (GW2 overlay), to produce a json compatible format for [Burrito](https://github.com/AsherGlick/Burrito), a GW2 overlay for Linux.
A Binary Decision Diagram (BDD) crate that provides a unified interface for the CUDD and OxiDD BDD libraries. This crate is part of the TACO toolsuite.
Model Checker constructing an abstract counter system to verify threshold automata. This model checker is part of the TACO toolsuite.
The Threshold Automata for COnsensus Model Checker (TACO) is a tool to verify distributed algorithms that can be modeled using threshold automata
A small helper crate for displaying iterators. This crate is part of the TACO toolsuite.
A crate allowing you to obtain a threshold automaton with an (symbolic) interval abstraction applied to it. This crate is part of the TACO toolsuite.
Model Checker interface and specification definitions for model checkers that are part of the TACO toolsuite.
A crate containing parsers to parse threshold automata and ELTL specifications from ByMC and TLA+ specification files. This crate is part of the TACO toolsuite.
A crate defining the SMT encodings of threshold automata components into SMT. This crate is part of the TACO toolsuite.
Model Checker encoding threshold automaton and a property into a single SMT query. This model checker is part of the TACO toolsuite.