sat
Here are 445 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++
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
Aug 15, 2024 - PHP
CocosCreator游戏开发框架 — 入门轻松、功能强大、渐进式。关键词:CocosCreator、CocosCreator3、3、3.x、3.8、framework。
-
Updated
Sep 4, 2024 - TypeScript
Conjure: The Automated Constraint Modelling Tool
-
Updated
Jun 27, 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."