| Name | Version | Summary | date |
| z3-solver |
4.15.3.0 |
an efficient SMT solver library |
2025-08-16 02:27:37 |
| satcfdi |
4.7.5 |
The best open-source python library to generate and process SAT's CFDI |
2025-08-05 22:25:25 |
| python-constraint2 |
2.4.0 |
python-constraint is a module for efficiently solving CSPs (Constraint Solving Problems) over finite domains. |
2025-07-23 09:41:48 |
| pindakaas |
0.1.0 |
Python bindings for the pindakaas crate |
2025-07-09 02:18:40 |
| fiscalapi |
4.0.120 |
Genera facturas CFDI válidas ante el SAT consumiendo el API de https://www.fiscalapi.com |
2025-02-16 21:15:27 |
| qiskit-sat-synthesis |
0.0.2 |
Sat-based synthesis plugins for Qiskit |
2024-12-24 07:05:06 |
| satdigitalinvoice |
4.1.0 |
GUI APP to Generate CFDI |
2024-10-08 03:31:59 |
| pyfiscal |
2.1.2 |
Pyfiscal calculation of tax data. |
2024-03-25 16:49:07 |