543 results for “topic:sat”
英文单词，英语单词，四六级 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.
:package: :whale: 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
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.
Librería para usar el servicio web del SAT de Descarga Masiva
Workbench for FreeCAD to loads or import Autodesk (R) Inventor (R) files.
SAT solver written in Go (golang).
PHP Common utilities for Mexican CFDI 3.2, 3.3 & 4.0
The glucose SAT solver
The best open-source python library to generate and process SAT's CFDI
MonoSAT - An SMT solver for Monotonic Theories
Conjure: The Automated Constraint Modelling Tool
Approximate Model Counter
Biblioteca para realizar impressões (impressora não fiscal) utilizando comandos Esc/Bema, Esc/Daruma e Esc/Pos :rocket:
Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
Mirror não oficial do Projeto ACBr
TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)
Crea facturas CFDI en .NET consumiendo el api de fiscalapi. Factura sin dolor!!
T2Ti ERP 2.0 - Delphi
A ESC/POS Printer Commands Helper
Easily watch your country's free-to-air channels, national and local. All in your browser, for free and without needing to configure anything.
QO-100 Software Transceiver using an Adalm-Pluto and an SBC (Raspberry, Odroid ...)
2D math / geometry collision library for C#, compatable with monogame.
This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solving. The focus of the library is to provide as much ease of use without giving up on performance.
The Standard Interface for Incremental Satisfiability Solving