Hydra is the development repository for the Bella knowledge compiler and the Cara #SAT solver

DB implementation - Heap file, Sorted file, RelOps, Query Engine - systems programming

SAT Solver - Local Search and Bitwise optimization for university thesis in computer engineering

SLIME Cloud: A Free Massive World Class High Performance SAT Solver, Winner of Crypto Track and 3rd place on Cloud Track at the SAT Competition 2021.

Compile SPUR to WebAssembly using emscripten

Library for working with binary logic and satisfiability equations

Generates the equivalent CNF formulas to be used in SAT solvers

Solving LightUp problems with minisat

Tools for generating CNF and solving them

The C++ implementation of the four approximation algorithms for MaxSat Problem.

The CFL Reachability problem involves determining whether there is a path in a graph where the concatenation of edge labels along the path forms a string that belongs to a given context-free language.

A high-performance C++17 benchmarking suite comparing classical SAT solving algorithms (CDCL, DPLL, Davis-Putnam, Resolution). Includes a custom DIMACS CNF generator in Python and comprehensive performance metrics for 2SAT and 3SAT instances.

A DPLL-based SAT solver focused on traceability

Final project for graduate course ECE650 @ University of Waterloo

GaussMaxHS, a CNF+XOR MaxSAT solver

Windows builds for The Glucose SAT Solver.

3-SAT CNF file generator

COP6726 - Database System Implementation - Database From Scratch

DenseQMC: A bit-slice implementation of the Quine-McCluskey algorithm