13 dependents
| Package | Description | Downloads/month |
|---|---|---|
| An easy-to-use, general and open-source tool to solve the guess-and-determine pr... | 2K | |
| Optimization tutorial: learn by example | 1K | |
| CoreIR Symbolic Analyzer | 1K | |
| SAGA: Scheduling Algorithms Gathered - collection of task graph scheduling algor... | 846 | |
| Exo: Exocompiled Array Language | 793 | |
| A checker for probabilistic abstract argumentation | 500 | |
| PolyQEnt is a solver for Polynomial Horn Clauses (PHC). | 360 | |
| PolyQEnt is a solver for Polynomial Quantified Entailments (PQE). | 280 | |
| A Python implementation of the Erotetic Theory of Reasoning (ETR) as presented i... | 247 | |
| PAC-learning-based program systhesizer | 183 | |
| CMOS standard-cell layout generator. | 119 | |
| All sat style yet another theorem solver | 101 | |
| open source versatile symbolic math and proof verification system | 25 |
