Enhancing the Factorio experience with SAT solvers

• UpdatedAug 25, 2024
• Python

英文单词，英语单词，英语四六级、考研、SAT单词，txt 文件, json 文件，CET4 CET6，乱序，单词

• UpdatedMar 11, 2025

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

• UpdatedApr 10, 2024
• Rust

📦 🐳 0-dependency Container-based Package Manager using SAT solver and QLearning

• UpdatedMar 13, 2025
• Go

a Pythonic toolkit for working with Boolean expressions

• UpdatedNov 8, 2024
• Python

A fast Sudoku solver and generator with a benchmark suite for comparing the fastest known solvers.

• UpdatedJul 16, 2024
• C++

CocosCreator游戏开发框架 — 入门轻松、功能强大、渐进式。An approachable, performant and versatile framework for building game clients. Topics：CocosCreator、CocosCreator3、3、3.x、3.8、framework.

• UpdatedJan 1, 2025
• TypeScript

Projeto ACBr - O branch master é um repositório espelho do SVN original (svn://svn.code.sf.net/p/acbr/code/trunk2), criado e mantido com git-svn.

• UpdatedJan 20, 2025
• Pascal

SAT solver written in Go (golang).

• UpdatedMar 3, 2017
• Go

Workbench for FreeCAD to loads or import Autodesk (R) Inventor (R) files.

• UpdatedDec 17, 2024
• Python

PHP Common utilities for Mexican CFDI 3.2, 3.3 & 4.0

• UpdatedMar 4, 2025
• PHP

Librería para usar el servicio web del SAT de Descarga Masiva

• UpdatedApr 17, 2024
• PHP

MonoSAT - An SMT solver for Monotonic Theories

• UpdatedApr 30, 2023
• C++

Conjure: The Automated Constraint Modelling Tool

• UpdatedMar 9, 2025
• Haskell

The glucose SAT solver

• UpdatedNov 7, 2024
• C++

Biblioteca para realizar impressões (impressora não fiscal) utilizando comandos Esc/Bema, Esc/Daruma e Esc/Pos 🚀

• UpdatedFeb 19, 2025
• C#

Approximate Model Counter

• UpdatedMar 16, 2025
• C++

Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter

• UpdatedOct 25, 2024
• C++

T2Ti ERP 2.0 - Delphi

• UpdatedOct 2, 2023
• Pascal

TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)

• UpdatedJul 18, 2024
• OCaml