jjmartens / mmq
my music queue, simple and shared music system.
☆11Updated 8 years ago
Alternatives and similar repositories for mmq:
Users that are interested in mmq are comparing it to the libraries listed below
- Simple verification of Rust programs via functional purification in Lean 2(!)☆337Updated 7 years ago
- Verification working group☆104Updated 6 years ago
- A tool for estimating a system's information leakage via Machine Learning☆10Updated 8 months ago
- Qute: a dependency learning QBF solver.☆12Updated 2 months ago
- Main source code repository of the Tamarin prover for security protocol verification.☆443Updated last week
- CAQE is a solver for quantified Boolean formulas☆31Updated last year
- rust verification condition generator☆93Updated 8 years ago
- Approximate Model Counter☆73Updated this week
- DRAT/DPR proof checker☆9Updated 3 years ago
- Experimental minisat SAT solver reimplementation in Rust☆71Updated 5 years ago
- SAT solver written in Rust☆259Updated 2 years ago
- Verified Assembly Language for Everest☆280Updated last year
- Rust wrapper for Obliv-C☆11Updated 6 years ago
- Encoding different problems into Boolean satisfiability☆12Updated 2 years ago
- Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter☆68Updated 4 months ago
- bash scripts for the ELO of RU☆11Updated 2 years ago
- symbolic execution engine for Rust☆350Updated 6 years ago
- Razor is a tool for constructing finite models for first-order theories☆55Updated 2 years ago
- RAMP - Rust Arithmetic in Multiple Precision☆260Updated 2 years ago
- The Git repository for the mCRL2 toolset.☆95Updated this week
- A Python script to create cactus and scatter plots based on matplotlib☆23Updated 3 years ago
- LaTeX Styles provided by Dagstuhl Publishing☆35Updated 3 months ago
- A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.☆65Updated last year
- mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity☆11Updated 2 months ago
- Automated generation of provably secure, zero-copy parsers from format specifications☆265Updated this week
- A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.☆341Updated 6 months ago
- The Yices SMT Solver☆390Updated last month
- Verifier for pseudo-Boolean proofs☆13Updated 2 years ago
- CDCL SAT solver written in Rust. Work in progress. The basics are working, but there are lots of changes ahead, including API and CLI bre…☆10Updated 2 years ago
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆87Updated last week