sat 开源项目推荐（776 个）

KyleBing /english-vocabulary

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

R-O-C-K-E-T /Factorio-SAT

Enhancing the Factorio experience with SAT solvers

sarsko /CreuSAT

CreuSAT——一个正式验证的SAT求解器，用Rust编写并通过Creusot验证。

heygsc /word-wind

在线背单词网页

mudler /luet

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

t-dillon /tdoku

一款快速的数独求解器和生成器，配备基准测试套件，用于比较已知最快的求解器。

a1076559139 /XForge

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

welchbj /tt

a Pythonic toolkit for working with Boolean expressions

phpcfdi /sat-ws-descarga-masiva

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

frones /ACBr

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.

jmplonka /InventorLoader

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

SAT-CFDI /python-satcfdi

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

audemard /glucose

The glucose SAT solver

eclipxe13 /CfdiUtils

PHP Common utilities for Mexican CFDI 3.2, 3.3 & 4.0

mitchellh /go-sat

SAT solver written in Go (golang).

conjure-cp /conjure

Conjure: The Automated Constraint Modelling Tool

sambayless /monosat

MonoSAT - An SMT solver for Monotonic Theories

meelgroup /approxmc

Approximate Model Counter

ZapprTV /Zappr

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

meelgroup /bosphorus

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