英文单词，英语单词，四六级 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 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.

a Pythonic toolkit for working with Boolean expressions

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

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.

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

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

The glucose SAT solver

SAT solver written in Go (golang).

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

Approximate Model Counter

Guarda facilmente il digitale terrestre italiano, nazionale e locale. Tutto nel tuo browser, gratis e senza configurazione.

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