There are 5 repositories under sat topic.
英文单词,英语单词,英语四六级、考研、SAT单词,txt 文件, json 文件,CET4 CET6,乱序,单词
Librería para usar el servicio web del SAT de Descarga Masiva
CocosCreator游戏开发框架 — 入门轻松、功能强大、渐进式。关键词:CocosCreator、CocosCreator3、3、3.x、3.8、framework。
Workbench for FreeCAD to loads or import Autodesk (R) Inventor (R) files.
Conjure: The Automated Constraint Modelling Tool
Biblioteca para realizar impressões (impressora não fiscal) utilizando comandos Esc/Bema, Esc/Daruma e Esc/Pos :rocket:
T2Ti ERP 2.0 - Delphi
A ESC/POS Printer Commands Helper
:collision: Atomic.js | Greatly Simple Physics Engine For Javascript
2D math / geometry collision library for C#, compatable with monogame.
Librería para generar Comprobantes Fiscales (CFDI) para la versión 3.3
The best open-source python library to generate and process SAT's CFDI
QO-100 Software Transceiver using an Adalm-Pluto and an SBC (Raspberry, Odroid ...)
Model finder for higher-order logic
configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se)
Faithful reimplementation of Minisat 2.2 in OCaml.
SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
华中科技大学数据结构课程设计2018 An algorithm to solve SAT problem