Implementação de dois comparadores de AAG para verificar equivalência lógica.

Solving Latin-Square & Sudoku problem by Z3-Solver and Qiskit-Solver

クレイジーシープをSATソルバで解く

JNI wrappers for SAT solvers in Kotlin

A library for incremental CDCL SAT solving written for skill and research

Source code and benchmark suites for our paper 'Conflict-Driven SAT Solving Using XOR-OR-AND Normal Forms'

Impressão de Extratos do CF-e-SAT (SAT Fiscal)

test the power of MIP solver on SAT problem.

Project implementing Neider & Gavran's algorithm from their 2018 article. Supports human-readable input of traces

Un visor simple de CFDIS para cuando no se tiene el PDF

Small SAT Solvers

Extrae la información necesaria de una persona física o moral para utilizarlo en una factura 4.0 de acuerdo la cédula fiscal del SAT / SIAT

MSC Project for Software Eng Class

Implementing and integrating Simple Bounded Variable Addition (BVA) preprocessing technique in EDUSAT SAT solver

Algorithm for solving the Latin Square puzzle Futoshiki using pseudo-boolean constraints and a SAT solver

Provee una API cliente en JAVA para el servicio de descarga masiva de CFDI con CIEC

A collection of SAT solver implementations and tools made in Typed Racket!

A simple SAT

Una aplicacion que te permite visualizar las lista negra del SAT o EFOS y compararla contra el catalogo de proveedores de CONTPAQi Contabilidad.