Поиск входных переменных в булевой формуле

Source code of paper 'SAT Solving Using XOR-OR-AND Normal Forms'

Windows builds for The Glucose SAT Solver.

Lab sessions about SAT solving using the IDP IDE

Python tool for converting ANF to (2-)XNF.

Immediate Massively Parallel Propositional Proof Checking

A search program that uses SAT solvers to find patterns in Higher Range Outer Totalistic (HROT) rules

STTF

Looking for solutions of certain sizes with Glucose, Kissat and CaDiCaL

Solving the Yashi game using a combination of graph theory and SAT-solving. First, connectivity of the graph is verified, and if true, identification of all possible cycles is done. Then, after generating all necessary constraints, they are passed to a SAT solver.

Low-level Java bindings to the IPASIR C interface

Projects on symbolic systems, covering logic and problem solving (June 2020).

My first SMT solver (only QF_UF)

SAT-Web is a web-based educational tool for explaining SAT solving. It provides visualisations with search trees and variable interaction graphs, and includes a DPLL solver with tracing.

A collection of combinatorial solvers for the Sudoku variant Str8ts.

Boolean DSL

Approximation and randomized algorithms - Assignment 01 - SAT

Solution for total coloring problem using CSP & SAT

This repository provides an extension to the CaDiCaL SAT solver that implements the "DRUPing for Interpolants" algorithm.