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

Enhancing the Factorio experience with SAT solvers

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

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

a Pythonic toolkit for working with Boolean expressions

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

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

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.

SAT solver written in Go (golang).

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

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

PHP Common utilities for Mexican CFDI 3.2, 3.3 & 4.0

MonoSAT - An SMT solver for Monotonic Theories

Conjure: The Automated Constraint Modelling Tool

The glucose SAT solver

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

Approximate Model Counter

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

The best open-source python library to generate and process SAT's CFDI

T2Ti ERP 2.0 - Delphi