Pinned Repositories
bazel
a fast, scalable, multi-language and extensible build system
buildtools
A bazel BUILD file formatter and editor
rules_appengine
AppEngine rules for Bazel
rules_go
Go rules for Bazel
dds
Double Dummy Solver written in C++ for the Bridge Card Game
dds-test
Tests for dds-bridge
DTAC
SAT-Solver-using-DPLL
Python Implemetation of DPLL algorithm to solve Boolean Satisfiability problem
pmbethe09's Repositories
pmbethe09/DTAC
pmbethe09/dds
Double Dummy Solver written in C++ for the Bridge Card Game
pmbethe09/dds-test
Tests for dds-bridge
pmbethe09/SAT-Solver-using-DPLL
Python Implemetation of DPLL algorithm to solve Boolean Satisfiability problem