2019CourseDesign

A sequential SAT solver that won the 2nd place of SAT Competition 2022 (solved the same number of instances with the winner)

Verifies SAT solver output. Uses drat-trim proof checker for UNSAT instances.

Projects made for IZLO (Introduction to Logic for Computer Science)

Lingeling SAT Solver fork with CMake build

Projeto realizado para matéria de Métodos Formais - O programa deve receber um arquivo de entrada que represente a situação inicial de um jogo de sudoku e, à partir dele, gerar uma fórmula lógica para servir de entrada ao programa "zchaff", resolvedor SAT

Implementation for fast DIMACS Parsing on x86 using SSE SIMD instructions and experimental AVX512

A SAT-based C/C++ solver for the Resource-Constrained Project Scheduling Problem with General Precedence Relations (RCPSP-GPR)

Testing for the collision testing algorithm SAT, with collision manifold generation

Functional TSP

color 2 sat implementation for k-colorability on DIMACS formatted graphs

The CNF-SAT problem is: Given a logical expression in Conjunctive Normal Form, is there a truth assignment for the variables which causes the CNF expression to be true? Answer is yes, if there is an assignment that makes all the clauses evaluate to T (true). Use a depth first search algorithm for solving the problem. After you assign values to a…

Custom C++ implementation of the Separated Axis Theorem

An N Queens Puzzle CNF-SAT DIMACS encoder

Simple DPLL-based solver with unit-propagation rule

A Rust library that provides SAT solvers

Program Design affiliated to General Course Design of CSE College, HUST, for students enrolled in 2018.

Parameter Optimization for SAT solving

Source code of the T1 planner

Receive Side Scaling (RSS) key solver meant to provide an RSS Toeplitz hash key that follows constraints between packets