An advanced SAT solver

A simple SAT solver that implements the DPLL algorithm with unit resolution

华中科技大学数据结构课程设计2018 An algorithm to solve SAT problem

gradient-based symbolic execution engine implemented from scratch

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

DPLL(T)-based Verification tool for DNNs

DPLL boolean satisfiability solver for .NET

A small SAT solver implementation. 2020年度の情報科学特別演習にて書いたプログラム

Python Implemetation of DPLL algorithm to solve Boolean Satisfiability problem

华中科技大学计算机科学与技术学院程序设计

Simple Java implementation of the Davis–Putnam–Logemann–Loveland (DPLL) algorithm

华中科技大学课设-基于SAT的对角线数独求解程序

CS156 - Fall 2014 - Introduction to Artificial Intelligence

Command line tool for SAT solving, SMT solving in various theories (NRA, LRA, LIA, EQ, EQUF, BV)

SAT and SMT solving.

A simple theorem prover made for a university programming assignment

华中科技大学数据结构课程设计2018 the optimizetion of DPLL

Graph-based DPLL-SAT Solver for propositional logic formulas in XOR-OR-AND normal form (XNF).

A sudoku solver, using SAT

Implement a SAT solver to find a satisfying assignment for any given CNF sentences, You are also asked to implement the WalkSAT algorithm ( AIMA Figure 7.18 ) to search for a solution for an instance of wedding. Suppose you have a wedding to plan, and want to arrange the wedding seating for a certain number of guests in a hall. The hall has a ce…