sat
Here are 457 public repositories matching this topic...
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
-
Updated
Apr 10, 2024 - Rust
📦 🐳 0-dependency Container-based Package Manager using SAT solver and QLearning
-
Updated
Aug 27, 2024 - Go
a Pythonic toolkit for working with Boolean expressions
-
Updated
May 11, 2020 - Python
A fast Sudoku solver and generator with a benchmark suite for comparing the fastest known solvers.
-
Updated
Jul 16, 2024 - C++
PHP Common utilities for Mexican CFDI 3.2, 3.3 & 4.0
-
Updated
Aug 15, 2024 - PHP
CocosCreator游戏开发框架 — 入门轻松、功能强大、渐进式。An approachable, performant and versatile framework for building game clients. Topics:CocosCreator、CocosCreator3、3、3.x、3.8、framework.
-
Updated
Oct 10, 2024 - TypeScript
Librería para usar el servicio web del SAT de Descarga Masiva
-
Updated
Apr 17, 2024 - PHP
Conjure: The Automated Constraint Modelling Tool
-
Updated
Oct 7, 2024 - Haskell
Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
-
Updated
Jul 23, 2024 - 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."