sat
Here are 436 public repositories matching this topic...
Librería para usar el servicio web del SAT de Descarga Masiva
-
Updated
Apr 17, 2024 - PHP
PHP Common utilities for Mexican CFDI 3.2, 3.3 & 4.0
-
Updated
Feb 21, 2024 - PHP
A fast Sudoku solver and generator with a benchmark suite for comparing the fastest known solvers.
-
Updated
May 25, 2023 - C++
📦 🐳 0-dependency Container-based Package Manager using SAT solver and QLearning
-
Updated
Apr 22, 2024 - Go
Conjure: The Automated Constraint Modelling Tool
-
Updated
May 13, 2024 - Haskell
Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
-
Updated
Jan 27, 2024 - C++
The Standard Interface for Incremental Satisfiability Solving
-
Updated
Jun 28, 2022 - 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."