Paul Bethe

No description provided.

The central registry of Bazel modules for the Bzlmod external dependency system.

Python Implemetation of DPLL algorithm to solve Boolean Satisfiability problem

Tests for dds-bridge

Double Dummy Solver written in C++ for the Bridge Card Game