Windows builds for The Glucose SAT Solver.

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

Lab sessions about SAT solving using the IDP IDE

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

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

Immediate Massively Parallel Propositional Proof Checking

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

Low-level Java bindings to the IPASIR C interface

My first SMT solver (only QF_UF)

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.

Approximation and randomized algorithms - Assignment 01 - SAT

Boolean DSL

An Algorithm to Minimize The SAT Model Returned By a SAT Solver

Lingeling SAT Solver fork with CMake build

The supervisor repo for the "Data Science Laboratory Course" at the Karlsruhe Institute of Technology (KIT), summer term 2023.

Bounded model checker for petri nets. It uses a SAT solver. The idea is presented at ATVA 2004.

Solution for total coloring problem using CSP & SAT