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

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

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

STTF

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.

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.

This repository provides a reproducible benchmark exploring how **ethical coherence fields (Harmony, Balance, Creativity, Connectedness, Respect)** — originally introduced in the **Maat Field Theory of Everything (MFToE)** — correlate with computational hardness in **random 3-SAT** instances.

Low-level Java bindings to the IPASIR C interface

Approximation and randomized algorithms - Assignment 01 - SAT

Kissat-VSA is a solver submitted to the SAT Competition 2025, achieving third place in the Main Track and second place in the Main Track UNSAT category.