crillab / metricsLinks
mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity
☆11Updated 3 months ago
Alternatives and similar repositories for metrics
Users that are interested in metrics are comparing it to the libraries listed below
Sorting:
- A Python script to create cactus and scatter plots based on matplotlib☆24Updated 4 years ago
- An open-source course on constraint solving☆24Updated 2 months ago
- Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy☆203Updated last week
- A toolkit for SAT-based prototyping in Python☆431Updated 3 weeks ago
- CaDiCaL SAT Solver☆474Updated this week
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆37Updated 2 years ago
- JKind - An infinite-state model checker for safety properties in Lustre☆53Updated last month
- Approximate Model Counter☆78Updated 3 weeks ago
- A tool for obtaining LTL formulas from a sample of positive and negative words.☆24Updated 3 years ago
- SAT Solver SATCH☆119Updated 2 years ago
- Python Bindings for the Probabilistic Model Checker Storm☆36Updated this week
- Neural Network Enumeration Tool☆34Updated 2 years ago
- ☆24Updated 3 years ago
- ☆563Updated 2 months ago
- StarExec is a cross community logic solving service☆20Updated 2 months ago
- Replacing standard support propagation by belief propagation in MiniCP☆13Updated last month
- ☆23Updated 3 weeks ago
- A multi-formalism, multi-solution model-checker centered on the language GAL☆25Updated last week
- ☆16Updated last year
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆13Updated 9 months ago
- A Python Library for modeling combinatorial constrained problems☆72Updated 2 months ago
- PyXAI (Python eXplainable AI) is a Python library (version 3.6 or later) allowing to bring formal explanations suited to (regression or c…☆34Updated 3 months ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆77Updated last year
- ☆291Updated 3 weeks ago
- A Modern Probabilistic Model Checker☆150Updated this week
- An I/O-efficient implementation of (Binary) Decision Diagrams☆30Updated 2 weeks ago
- SMTInterpol interpolating SMT solver☆68Updated 2 weeks ago
- Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.☆282Updated this week
- The Termination Problem Database☆30Updated last week
- Implementation of multi-core (binary) decision diagrams☆77Updated 2 weeks ago