sat-solving
There are 23 repositories under sat-solving topic.
j-danner/2xnf_sat_solving
Source code of paper 'SAT Solving Using XOR-OR-AND Normal Forms'
jakublevy/glucose-win
Windows builds for The Glucose SAT Solver.
ro-per/IDP-excercises
Lab sessions about SAT solving using the IDP IDE
Wrazlmumfp/anf_to_2xnf
Python tool for converting ANF to (2-)XNF.
domschrei/impcheck
Immediate Massively Parallel Propositional Proof Checking
jedlimlx/Logic-Cellular-Automaton-Search
A search program that uses SAT solvers to find patterns in Higher Range Outer Totalistic (HROT) rules
Di40/Yashi-Game-SAT-Logic
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.
itnef/smtx
My first SMT solver (only QF_UF)
martinetoering/KRR-course
Projects on symbolic systems, covering logic and problem solving (June 2020).
satviz/ipasir4j
Low-level Java bindings to the IPASIR C interface
IslamHamada/Minimize-Sat-Model
An Algorithm to Minimize The SAT Model Returned By a SAT Solver
J-MR-T/BooleanDSL
Boolean DSL
MrBlueHere/TotalColoring
Solution for total coloring problem using CSP & SAT
tatsuhirotsuchiya/bounded-model-checker-for-petri-nets
Bounded model checker for petri nets. It uses a SAT solver. The idea is presented at ATVA 2004.
TechnionFV/CaDiCaL-DRUPing-for-Interpolants-Project-Version-Base
This repository provides an extension to the CaDiCaL SAT solver that implements the "DRUPing for Interpolants" algorithm.
arruw/fri-1920-ara-01-sat
Approximation and randomized algorithms - Assignment 01 - SAT
fkutzner/lingeling-cmake
Lingeling SAT Solver fork with CMake build
Jakob-Bach/DS-Lab-2022
The supervisor repo for the "Data Science Laboratory Course" at the Karlsruhe Institute of Technology (KIT), summer term 2022.
Jakob-Bach/DS-Lab-2023
The supervisor repo for the "Data Science Laboratory Course" at the Karlsruhe Institute of Technology (KIT), summer term 2023.
kuanhungchen/Spring-2020-Applied-Mathematical-Logic
📈 Implementation of a SAT solver to solve satisfiability problems.