Simple implementation and parallelization of the DPLL algorithm for the satisfiability problem.

SAT Solver

A fixed cross-platform version of picosat

SAT solver, NYCU, 2021 Spring.

Implementation of the Davis-Putnam algorithm to solve a simple form of an adventure game. The puzzle includes (1) a maze with treasures at particular nodes; (2) a maximum number of steps; A player gets all the treasures at the node travelled to. The object is to find a path through the maze that collects all the different types of treasure.

Partial MAXSAT running in the browser

In this project, you can see the implementation of the Davis-Putnam (DP) + Davis-Putnam-Logemann-Loveland (DPLL) Algorithms and Resolution to solve SAT problems.

Analysis of Formal Specifications SAT, SMT, Alloy, NuSMV.

Backdoor-based SAT solver

A useful tool for analyzing propositional logic expressions

Generator for CNF'S considering the variance by using model counting with #sat

Clue (Cluedo) assistant using picosat SAT solver

iOS Swift Playground for WWDC 2017 Scholarship

Decision Table-Based Testing

Solving the N-Queens Problem Using a SAT Solver

Few exercises with main topic of propositional logic (MIMUW course)