A search program that uses SAT solvers to find patterns in Higher Range Outer Totalistic (HROT) rules
-
Updated
Nov 8, 2023 - Python
A search program that uses SAT solvers to find patterns in Higher Range Outer Totalistic (HROT) rules
Windows builds for The Glucose SAT Solver.
Approximation and randomized algorithms - Assignment 01 - SAT
An Algorithm to Minimize The SAT Model Returned By a SAT Solver
Projects on symbolic systems, covering logic and problem solving (June 2020).
Boolean DSL
My first SMT solver (only QF_UF)
Low-level Java bindings to the IPASIR C interface
The supervisor repo for the "Data Science Laboratory Course" at the Karlsruhe Institute of Technology (KIT), summer term 2023.
Lingeling SAT Solver fork with CMake build
Source code of paper 'SAT Solving Using XOR-OR-AND Normal Forms'
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.
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.
Immediate Massively Parallel Propositional Proof Checking
Bounded model checker for petri nets. It uses a SAT solver. The idea is presented at ATVA 2004.
📈 Implementation of a SAT solver to solve satisfiability problems.
Add a description, image, and links to the sat-solving topic page so that developers can more easily learn about it.
To associate your repository with the sat-solving topic, visit your repo's landing page and select "manage topics."