A simple JS module for checking for collisions between two shapes

satyricon sat solver

Librería para descargar el catálogo del Servicio de Administración Tributaria (SAT)

A simple DPLL SAT solver in Elm

SAT based sudoku solver

This is a repo for the MS Student Ambassador Technical Onboarding Process.

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

Incomplete code and documents explaining the mappings from Nonograms to SAT and SAT to Nonograms

SAT solver using CDCL procedure and watched literals, VSIDS herustics.

Sudoku Solver by constraint satisfaction problem (CSP) using heuristics - Minimum Remaining Value (MRV), Least Common Value (LCV), Maintainin Arc Consistency (MAC). Secondly, by converting to Satisfiability Problem (SAT) and using a sat solver (miniSAT).

Toy CNF-SAT solvers

WIP: Wrapper para facturas CFDI del Servicio de Administración Tributaria

Automatic Inference and Generalization of Function Block Finite-State Models

Solving Yajilin problems with a SAT solver

Boolean expression parser and solver suite

SAToulouse is a JAVA graphical user interface for the SAT solver SAT4J.

Procedimiento robotizado para obtener las tablas de proveedores bajo la restricción del Art.69-F 1,2 párrafo del CFF

Remote controller SAT 📺 web app for STB based on gx6602 boards webif

Resolution of Squaro game as a SAT problem

华中科技大学计算机科学与技术学院程序设计