41 dependents
| Package | Description | Downloads/month |
|---|---|---|
| Python ETL framework for stream processing, real-time analytics, LLM pipelines, ... | 16K | |
| Automatic computation of detectors in a topologically quantum error corrected c... | 13K | |
| PyXAI (Python eXplainable AI) is a Python library (version 3.6 or later) allowin... | 12K | |
| A CLI package manager for mods | 9K | |
| ml4co-kit provides convenient dataset generators for the combinatorial optimizat... | 4K | |
| A python toolkit for single-cell tumor phylogenetic analysis | 2K | |
| Design automation software tools for Topological Quantum Error Correction | 2K | |
| PyXAI (Python eXplainable AI) is a Python library (version 3.6 or later) allowin... | 2K | |
| A Python library of incremental MaxSAT solvers | 2K | |
| Python functions to generate OEIS sequences | 2K | |
| This repository will host the pysat metamode and its operation implementation | 2K | |
| OCEAN: Optimal Counterfactual Explanations in Tree Ensembles (ICML 2021) | 2K | |
| An easy-to-use, general and open-source tool to solve the guess-and-determine pr... | 2K | |
| Knowledge Equations based Logic Engine, a forward chaining inference engine with... | 1K | |
| Python library for identifying/learning DFAs from labeled examples by reduction ... | 1K | |
| Parser for the Universal Variability Language (UVL) with conversion support to C... | 1K | |
| A New Tool for Boolean Circuit Analysis and Synthesis. | 1K | |
| Distance of quantum and classical codes, and quantum circuits | 1K | |
| WLPlan: Relational Features for PDDL Planning | 862 | |
| OWL Class Expressions Learning in Python | 841 | |
| Action model acquisition from state trace data. | 718 | |
| Pythonic interface between AIGs and SAT solvers. | 616 | |
| [ACL2026] 🏞 SATQuest: A Verifier for Logical Reasoning Evaluation and Reinforcem... | 450 | |
| CNF/SAT-based information-theoretic online action model learning | 383 | |
| Universal dependency resolver using SAT solvers | 360 | |
| Tools for quantum circuits synthesis, optimization and others. | 348 | |
| Computation of minimal trap spaces in BNs | 335 | |
| Model based combinatorial test data generator | 331 | |
| A Python package for working with Conjunctive Normal Form (CNFs) and Boolean Sat... | 291 | |
| A collection of SAT and SMT solvers for solving Sudoku puzzles | 278 | |
| Topological SAT preprocessor — detects UNSAT via cohomological obstructions | 189 | |
| C2|Q: Classical-to-Quantum software development framework | 185 | |
| 183 | ||
| A python tool for solving minDFA problem. | 133 | |
| A Python library for validating UAV flight paths against airspace and environmen... | 84 | |
| Hybrid SAT + Probabilistic Modeling for IoT Uncertainty Quantification | 83 | |
| A Python Framework for Solving Quantfied Boolean Formulas | 83 | |
| qCodePlot3D provides 3D visualizations of 2D and 3D quantum color codes, making ... | 69 | |
| Framework for Quantum Computing Application Benchmarking | 62 | |
| TENNIS is an evolution-based model to predict unannotated isoforms and refine ex... | 61 | |
| algorithms for scheduling and learning scheduling constraints | 60 |
