sat
Here are 20 public repositories matching this topic...
Project that you can upload a Digital Fiscal Voucher (CFDI) in XML format to analyze the information in an entity called cfdv32.
-
Updated
Mar 19, 2021 - C#
A port of differ (open source SAT collision implementation) to C#
-
Updated
Jun 13, 2021 - C#
Una librería que permite generar facturación CFDI v3-3 de acuerdo con la autoridad tributaria en México.
-
Updated
Aug 22, 2022 - C#
Algorithm design course in my forth semester of university
-
Updated
Oct 7, 2022 - C#
The boolean satisfaction and optimization library for .NET
-
Updated
Dec 19, 2023 - C#
ejemplo de consulta de estado de factura cfdi, ante el SAT
-
Updated
Apr 18, 2024 - C#
Counts minimally unsatisfiable (MU) k-SAT formulas via brute-force enumeration, and via a closed-form formula for 2-SAT. An MU formula is an unsatisfiable CNF where removing any single clause restores satisfiability — equivalently, a formula that is its own Minimal Unsatisfiable Subset (MUS).
-
Updated
Mar 4, 2026 - C#
Α simple editor for SAT formulas
-
Updated
Mar 10, 2026 - C#
Crea facturas CFDI en .NET consumiendo el api de fiscalapi. Factura sin dolor!!
-
Updated
Mar 24, 2026 - C#
Improve this page
Add a description, image, and links to the sat topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the sat topic, visit your repo's landing page and select "manage topics."